Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, docker, dev)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-docker.yml
235 workflow run results
235 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more paperification of top-level spec details CI (Coq, docker, dev) #459: Commit 8c9b346 pushed by andres-erbsen
April 6, 2024 17:06 4h 33m 34s master
master
April 6, 2024 17:06 4h 33m 34s
Bump rupicola from e849928 to d9d95af (#1851) CI (Coq, docker, dev) #450: Commit fe8e256 pushed by andres-erbsen
April 5, 2024 21:29 4h 5m 0s master
master
April 5, 2024 21:29 4h 5m 0s
GarageDoorTop: assert some types CI (Coq, docker, dev) #448: Commit d31b3a3 pushed by andres-erbsen
April 5, 2024 16:27 4h 3m 47s master
master
April 5, 2024 16:27 4h 3m 47s
Bump rupicola from 2aa6b13 to e849928 (#1850) CI (Coq, docker, dev) #445: Commit a5b9fae pushed by JasonGross
April 4, 2024 21:57 4h 38m 59s master
master
April 4, 2024 21:57 4h 38m 59s
decide point equality (#1848) CI (Coq, docker, dev) #435: Commit 841cc2f pushed by andres-erbsen
April 4, 2024 06:13 4h 6m 45s master
master
April 4, 2024 06:13 4h 6m 45s
instantiate Edwards-Montgomery isomorphism for Curve25519 (#1847) CI (Coq, docker, dev) #431: Commit eb5ba09 pushed by andres-erbsen
April 3, 2024 20:27 4h 4m 30s master
master
April 3, 2024 20:27 4h 4m 30s
bump bedrock2, use "always" in GarageDoor spec (#1846) CI (Coq, docker, dev) #429: Commit 1452648 pushed by andres-erbsen
April 2, 2024 22:22 4h 0m 4s master
master
April 2, 2024 22:22 4h 0m 4s
Joye double-add ladder for short Weierstrass curves in co-Z arithmeti… CI (Coq, docker, dev) #427: Commit b0a1bf1 pushed by andres-erbsen
April 2, 2024 14:40 4h 2m 0s master
master
April 2, 2024 14:40 4h 2m 0s
implement and prove Curve25519 scalar clamping (#1845) CI (Coq, docker, dev) #426: Commit 9b5f833 pushed by andres-erbsen
April 2, 2024 08:33 4h 0m 27s master
master
April 2, 2024 08:33 4h 0m 27s
add Curves.Edwards.TwistIsomorphism (#1844) CI (Coq, docker, dev) #424: Commit 55c430f pushed by andres-erbsen
April 1, 2024 23:15 3h 57m 53s master
master
April 1, 2024 23:15 3h 57m 53s
merge Group.Scalarmult into MontgomeryLadder, use in x25519_base (#1843) CI (Coq, docker, dev) #422: Commit 4cd8fc2 pushed by andres-erbsen
April 1, 2024 16:46 4h 0m 7s master
master
April 1, 2024 16:46 4h 0m 7s
CI (Coq, docker, dev) CI (Coq, docker, dev) #419: Scheduled
April 1, 2024 00:47 4h 2m 4s master
master
April 1, 2024 00:47 4h 2m 4s
merge MontgomeryEquivalence into MontgomeryLadder, use in GaragDoor (… CI (Coq, docker, dev) #418: Commit 9378552 pushed by andres-erbsen
March 30, 2024 07:05 4h 1m 51s master
master
March 30, 2024 07:05 4h 1m 51s
Update coq-docker.yml: Bump binaryen vesion (#1842) CI (Coq, docker, dev) #416: Commit b8f7dc8 pushed by JasonGross
March 30, 2024 01:48 4h 2m 2s master
master
March 30, 2024 01:48 4h 2m 2s
Use etc/ci/github-actions-make.sh on alpine (#1838) CI (Coq, docker, dev) #415: Commit 33e9ac8 pushed by JasonGross
March 29, 2024 21:41 4h 23m 49s master
master
March 29, 2024 21:41 4h 23m 49s
Use pwd in reportify-coq to fix build in submodules CI (Coq, docker, dev) #411: Commit 0698071 pushed by JasonGross
March 22, 2024 19:09 6h 32m 41s master
master
March 22, 2024 19:09 6h 32m 41s
Fix apk installation command in README CI (Coq, docker, dev) #410: Commit 50d02e4 pushed by JasonGross
March 22, 2024 18:53 6h 29m 14s master
master
March 22, 2024 18:53 6h 29m 14s
Bump rewriter from 21b82e9 to 1cd64f2 (#1840) CI (Coq, docker, dev) #409: Commit e4a366d pushed by JasonGross
March 22, 2024 18:30 6h 20m 11s master
master
March 22, 2024 18:30 6h 20m 11s
Automated Rust Crate Version Bump: Wed Mar 20 01:54:53 UTC 2024 d1c3f… CI (Coq, docker, dev) #406: Commit cf73a05 pushed by JasonGross
March 20, 2024 02:53 5h 20m 9s master
master
March 20, 2024 02:53 5h 20m 9s
Bump actions/setup-java from 4.1.0 to 4.2.1 (#1836) CI (Coq, docker, dev) #403: Commit d1c3f42 pushed by JasonGross
March 19, 2024 22:37 6h 59m 19s master
master
March 19, 2024 22:37 6h 59m 19s
Bump rupicola from e047275 to 7259f52 (#1835) CI (Coq, docker, dev) #402: Commit f432f17 pushed by JasonGross
March 19, 2024 22:36 6h 28m 28s master
master
March 19, 2024 22:36 6h 28m 28s
Add apk instructions to README CI (Coq, docker, dev) #399: Commit a8816f0 pushed by JasonGross
March 19, 2024 05:32 7h 16m 42s master
master
March 19, 2024 05:32 7h 16m 42s
Print more info on alpine CI (Coq, docker, dev) #398: Commit 3767aab pushed by JasonGross
March 19, 2024 05:23 6h 31m 37s master
master
March 19, 2024 05:23 6h 31m 37s
Bump actions/setup-java from 4.0.0 to 4.1.0 (#1824) CI (Coq, docker, dev) #396: Commit e5778af pushed by JasonGross
March 19, 2024 04:33 6h 58m 4s master
master
March 19, 2024 04:33 6h 58m 4s
Bump etc/coq-scripts from 7b54b75 to 5876e80 (#1829) CI (Coq, docker, dev) #391: Commit db33791 pushed by JasonGross
March 14, 2024 19:13 4h 1m 21s master
master
March 14, 2024 19:13 4h 1m 21s