Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Debian)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-debian.yml
76 workflow run results
76 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Decide point equality CI (Coq, Debian) #700: Pull request #1848 opened by andres-erbsen
April 3, 2024 23:53 1h 0m 42s andres-erbsen:EdwardsMontgomery25519B
andres-erbsen:EdwardsMontgomery25519B
April 3, 2024 23:53 1h 0m 42s
instantiate Edwards-Montgomery isomorphism for Curve25519 (#1847) CI (Coq, Debian) #699: Commit eb5ba09 pushed by andres-erbsen
April 3, 2024 20:27 3h 33m 23s master
master
April 3, 2024 20:27 3h 33m 23s
instantiate Edwards-Montgomery isomorphism for Curve25519 CI (Coq, Debian) #698: Pull request #1847 opened by andres-erbsen
April 3, 2024 16:26 3h 34m 59s andres-erbsen:EdwardsMontgomery25519
andres-erbsen:EdwardsMontgomery25519
April 3, 2024 16:26 3h 34m 59s
bump bedrock2, use "always" in GarageDoor spec (#1846) CI (Coq, Debian) #697: Commit 1452648 pushed by andres-erbsen
April 2, 2024 22:22 3h 31m 1s master
master
April 2, 2024 22:22 3h 31m 1s
bump bedrock2, use "always" in GarageDoor spec CI (Coq, Debian) #696: Pull request #1846 opened by andres-erbsen
April 2, 2024 18:18 3h 32m 10s andres-erbsen:coquinductive-always
andres-erbsen:coquinductive-always
April 2, 2024 18:18 3h 32m 10s
Joye double-add ladder for short Weierstrass curves in co-Z arithmeti… CI (Coq, Debian) #695: Commit b0a1bf1 pushed by andres-erbsen
April 2, 2024 14:40 3h 33m 9s master
master
April 2, 2024 14:40 3h 33m 9s
implement and prove Curve25519 scalar clamping (#1845) CI (Coq, Debian) #694: Commit 9b5f833 pushed by andres-erbsen
April 2, 2024 08:33 3h 32m 20s master
master
April 2, 2024 08:33 3h 32m 20s
implement and prove Curve25519 scalar clamping CI (Coq, Debian) #693: Pull request #1845 opened by andres-erbsen
April 2, 2024 04:30 3h 28m 54s andres-erbsen:curve25519-clamping
andres-erbsen:curve25519-clamping
April 2, 2024 04:30 3h 28m 54s
add Curves.Edwards.TwistIsomorphism (#1844) CI (Coq, Debian) #692: Commit 55c430f pushed by andres-erbsen
April 1, 2024 23:15 3h 27m 12s master
master
April 1, 2024 23:15 3h 27m 12s
Edwards twist isomorphism CI (Coq, Debian) #691: Pull request #1844 opened by andres-erbsen
April 1, 2024 19:15 3h 26m 1s andres-erbsen:twist-isomorphism
andres-erbsen:twist-isomorphism
April 1, 2024 19:15 3h 26m 1s
merge Group.Scalarmult into MontgomeryLadder, use in x25519_base (#1843) CI (Coq, Debian) #690: Commit 4cd8fc2 pushed by andres-erbsen
April 1, 2024 16:46 3h 29m 51s master
master
April 1, 2024 16:46 3h 29m 51s
Joye double-add ladder for short Weierstrass curves in co-Z arithmetic CI (Coq, Debian) #689: Pull request #1823 synchronize by andres-erbsen
April 1, 2024 12:22 3h 33m 24s atrieu:JoyeCoZ
atrieu:JoyeCoZ
April 1, 2024 12:22 3h 33m 24s
merge Group.Scalarmult into MontgomeryLadder, use in x25519_base CI (Coq, Debian) #688: Pull request #1843 opened by andres-erbsen
April 1, 2024 12:17 3h 28m 47s andres-erbsen:transitivity2
andres-erbsen:transitivity2
April 1, 2024 12:17 3h 28m 47s
CI (Coq, Debian) CI (Coq, Debian) #687: Scheduled
April 1, 2024 00:43 3h 30m 47s master
master
April 1, 2024 00:43 3h 30m 47s
merge MontgomeryEquivalence into MontgomeryLadder, use in GaragDoor (… CI (Coq, Debian) #686: Commit 9378552 pushed by andres-erbsen
March 30, 2024 07:05 3h 29m 1s master
master
March 30, 2024 07:05 3h 29m 1s
merge MontgomeryEquivalence into MontgomeryLadder CI (Coq, Debian) #685: Pull request #1841 synchronize by JasonGross
March 30, 2024 03:07 3h 27m 46s andres-erbsen:transitivity
andres-erbsen:transitivity
March 30, 2024 03:07 3h 27m 46s
Update coq-docker.yml: Bump binaryen vesion (#1842) CI (Coq, Debian) #684: Commit b8f7dc8 pushed by JasonGross
March 30, 2024 01:48 3h 28m 16s master
master
March 30, 2024 01:48 3h 28m 16s
Use etc/ci/github-actions-make.sh on alpine (#1838) CI (Coq, Debian) #683: Commit 33e9ac8 pushed by JasonGross
March 29, 2024 21:41 3h 34m 14s master
master
March 29, 2024 21:41 3h 34m 14s
Update coq-docker.yml: Bump binaryen vesion CI (Coq, Debian) #682: Pull request #1842 opened by JasonGross
March 29, 2024 21:39 3h 34m 48s JasonGross-patch-1
JasonGross-patch-1
March 29, 2024 21:39 3h 34m 48s
merge MontgomeryEquivalence into MontgomeryLadder CI (Coq, Debian) #681: Pull request #1841 opened by andres-erbsen
March 29, 2024 15:42 3h 31m 51s andres-erbsen:transitivity
andres-erbsen:transitivity
March 29, 2024 15:42 3h 31m 51s
Use etc/ci/github-actions-make.sh on alpine CI (Coq, Debian) #680: Pull request #1838 synchronize by JasonGross
March 22, 2024 19:12 5h 38m 40s JasonGross:alpine-more-info
JasonGross:alpine-more-info
March 22, 2024 19:12 5h 38m 40s
Use pwd in reportify-coq to fix build in submodules CI (Coq, Debian) #679: Commit 0698071 pushed by JasonGross
March 22, 2024 19:09 4h 48m 53s master
master
March 22, 2024 19:09 4h 48m 53s
Fix apk installation command in README CI (Coq, Debian) #678: Commit 50d02e4 pushed by JasonGross
March 22, 2024 18:53 4h 17m 6s master
master
March 22, 2024 18:53 4h 17m 6s
Bump rewriter from 21b82e9 to 1cd64f2 (#1840) CI (Coq, Debian) #677: Commit e4a366d pushed by JasonGross
March 22, 2024 18:30 4h 39m 43s master
master
March 22, 2024 18:30 4h 39m 43s
Bump rewriter from 21b82e9 to 1cd64f2 CI (Coq, Debian) #675: Pull request #1840 opened by dependabot bot
March 20, 2024 16:23 3h 46m 25s dependabot/submodules/rewriter-1cd64f2
dependabot/submodules/rewriter-1cd64f2
March 20, 2024 16:23 3h 46m 25s