Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, opam)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-opam-package.yml
294 workflow runs
294 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Record coq version info to GITHUB_STEP_SUMMARY for easier access CI (Coq, opam) #846: Commit 5824db7 pushed by JasonGross
April 14, 2024 17:59 1h 38m 18s master
master
April 14, 2024 17:59 1h 38m 18s
Attempt a more automated workflow for rust crate version bump CI (Coq, opam) #845: Commit b777870 pushed by JasonGross
April 13, 2024 18:13 1h 41m 45s master
master
April 13, 2024 18:13 1h 41m 45s
Update dependabot-automerge.yml for rust crate bump CI (Coq, opam) #844: Commit 03c1ff9 pushed by JasonGross
April 13, 2024 16:14 1h 38m 0s master
master
April 13, 2024 16:14 1h 38m 0s
dependabot-automerge.yml: add GH_TOKEN CI (Coq, opam) #843: Commit 2cba861 pushed by JasonGross
April 13, 2024 15:26 8m 37s master
master
April 13, 2024 15:26 8m 37s
Create dependabot-automerge.yml (#1861) CI (Coq, opam) #842: Commit 91d8191 pushed by JasonGross
April 13, 2024 15:08 27m 58s master
master
April 13, 2024 15:08 27m 58s
fix (#1860) CI (Coq, opam) #841: Commit 3d91646 pushed by andres-erbsen
April 12, 2024 19:58 1h 39m 14s master
master
April 12, 2024 19:58 1h 39m 14s
Bump rupicola from 73addd2 to d4a6c84 (#1858) CI (Coq, opam) #840: Commit 87a972c pushed by JasonGross
April 11, 2024 21:03 1h 39m 18s master
master
April 11, 2024 21:03 1h 39m 18s
done CI (Coq, opam) #839: Commit 3667669 pushed by samuelgruetter
April 6, 2024 20:44 1h 42m 10s master
master
April 6, 2024 20:44 1h 42m 10s
more paperification of top-level spec details CI (Coq, opam) #838: Commit 8c9b346 pushed by andres-erbsen
April 6, 2024 17:06 1h 37m 40s master
master
April 6, 2024 17:06 1h 37m 40s
Bump rupicola from e849928 to d9d95af (#1851) CI (Coq, opam) #837: Commit fe8e256 pushed by andres-erbsen
April 5, 2024 21:29 1h 39m 28s master
master
April 5, 2024 21:29 1h 39m 28s
GarageDoorTop: assert some types CI (Coq, opam) #836: Commit d31b3a3 pushed by andres-erbsen
April 5, 2024 16:27 1h 38m 18s master
master
April 5, 2024 16:27 1h 38m 18s
Bump rupicola from 2aa6b13 to e849928 (#1850) CI (Coq, opam) #835: Commit a5b9fae pushed by JasonGross
April 4, 2024 21:57 1h 38m 55s master
master
April 4, 2024 21:57 1h 38m 55s
decide point equality (#1848) CI (Coq, opam) #834: Commit 841cc2f pushed by andres-erbsen
April 4, 2024 06:13 1h 38m 0s master
master
April 4, 2024 06:13 1h 38m 0s
instantiate Edwards-Montgomery isomorphism for Curve25519 (#1847) CI (Coq, opam) #833: Commit eb5ba09 pushed by andres-erbsen
April 3, 2024 20:27 1h 40m 21s master
master
April 3, 2024 20:27 1h 40m 21s
bump bedrock2, use "always" in GarageDoor spec (#1846) CI (Coq, opam) #832: Commit 1452648 pushed by andres-erbsen
April 2, 2024 22:22 1h 38m 52s master
master
April 2, 2024 22:22 1h 38m 52s
Joye double-add ladder for short Weierstrass curves in co-Z arithmeti… CI (Coq, opam) #831: Commit b0a1bf1 pushed by andres-erbsen
April 2, 2024 14:40 1h 37m 11s master
master
April 2, 2024 14:40 1h 37m 11s
implement and prove Curve25519 scalar clamping (#1845) CI (Coq, opam) #830: Commit 9b5f833 pushed by andres-erbsen
April 2, 2024 08:33 1h 33m 38s master
master
April 2, 2024 08:33 1h 33m 38s
add Curves.Edwards.TwistIsomorphism (#1844) CI (Coq, opam) #829: Commit 55c430f pushed by andres-erbsen
April 1, 2024 23:15 1h 35m 53s master
master
April 1, 2024 23:15 1h 35m 53s
merge Group.Scalarmult into MontgomeryLadder, use in x25519_base (#1843) CI (Coq, opam) #828: Commit 4cd8fc2 pushed by andres-erbsen
April 1, 2024 16:46 1h 34m 33s master
master
April 1, 2024 16:46 1h 34m 33s
CI (Coq, opam) CI (Coq, opam) #827: Scheduled
April 1, 2024 01:08 1h 33m 1s master
master
April 1, 2024 01:08 1h 33m 1s
merge MontgomeryEquivalence into MontgomeryLadder, use in GaragDoor (… CI (Coq, opam) #826: Commit 9378552 pushed by andres-erbsen
March 30, 2024 07:05 1h 32m 40s master
master
March 30, 2024 07:05 1h 32m 40s
Update coq-docker.yml: Bump binaryen vesion (#1842) CI (Coq, opam) #825: Commit b8f7dc8 pushed by JasonGross
March 30, 2024 01:48 1h 33m 26s master
master
March 30, 2024 01:48 1h 33m 26s
Use etc/ci/github-actions-make.sh on alpine (#1838) CI (Coq, opam) #824: Commit 33e9ac8 pushed by JasonGross
March 29, 2024 21:41 1h 33m 11s master
master
March 29, 2024 21:41 1h 33m 11s
Use pwd in reportify-coq to fix build in submodules CI (Coq, opam) #823: Commit 0698071 pushed by JasonGross
March 22, 2024 19:09 3h 4m 18s master
master
March 22, 2024 19:09 3h 4m 18s
Fix apk installation command in README CI (Coq, opam) #822: Commit 50d02e4 pushed by JasonGross
March 22, 2024 18:53 46m 12s master
master
March 22, 2024 18:53 46m 12s