Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Windows)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-windows.yml
194 workflow run results
194 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt w.r.t. coq/coq#18895. (#1866) CI (Coq, Windows) #4393: Commit 08103e4 pushed by andres-erbsen
April 16, 2024 17:19 15h 29m 36s master
master
April 16, 2024 17:19 15h 29m 36s
Create describe-system-config-win.ps1 (#1865) CI (Coq, Windows) #4390: Commit 7fb4b21 pushed by JasonGross
April 16, 2024 11:15 4h 14m 19s master
master
April 16, 2024 11:15 4h 14m 19s
remove Bvector (#1864) CI (Coq, Windows) #4389: Commit 6cb80fb pushed by andres-erbsen
April 16, 2024 10:19 3h 34m 37s master
master
April 16, 2024 10:19 3h 34m 37s
Fix syntax in github-actions-record-coq-info.sh CI (Coq, Windows) #4384: Commit 7ec76f9 pushed by andres-erbsen
April 16, 2024 04:54 3h 30m 37s master
master
April 16, 2024 04:54 3h 30m 37s
Record coq version info to GITHUB_STEP_SUMMARY for easier access CI (Coq, Windows) #4382: Commit 5824db7 pushed by JasonGross
April 14, 2024 17:59 3h 30m 41s master
master
April 14, 2024 17:59 3h 30m 41s
Attempt a more automated workflow for rust crate version bump CI (Coq, Windows) #4380: Commit b777870 pushed by JasonGross
April 13, 2024 18:13 4h 12m 8s master
master
April 13, 2024 18:13 4h 12m 8s
Update dependabot-automerge.yml for rust crate bump CI (Coq, Windows) #4379: Commit 03c1ff9 pushed by JasonGross
April 13, 2024 16:14 3h 31m 44s master
master
April 13, 2024 16:14 3h 31m 44s
dependabot-automerge.yml: add GH_TOKEN CI (Coq, Windows) #4376: Commit 2cba861 pushed by JasonGross
April 13, 2024 15:26 11m 45s master
master
April 13, 2024 15:26 11m 45s
Create dependabot-automerge.yml (#1861) CI (Coq, Windows) #4374: Commit 91d8191 pushed by JasonGross
April 13, 2024 15:08 19m 4s master
master
April 13, 2024 15:08 19m 4s
fix (#1860) CI (Coq, Windows) #4372: Commit 3d91646 pushed by andres-erbsen
April 12, 2024 19:58 3h 33m 53s master
master
April 12, 2024 19:58 3h 33m 53s
Bump rupicola from 73addd2 to d4a6c84 (#1858) CI (Coq, Windows) #4370: Commit 87a972c pushed by JasonGross
April 11, 2024 21:03 3h 31m 36s master
master
April 11, 2024 21:03 3h 31m 36s
done CI (Coq, Windows) #4368: Commit 3667669 pushed by samuelgruetter
April 6, 2024 20:44 3h 35m 16s master
master
April 6, 2024 20:44 3h 35m 16s
more paperification of top-level spec details CI (Coq, Windows) #4367: Commit 8c9b346 pushed by andres-erbsen
April 6, 2024 17:06 4h 5m 49s master
master
April 6, 2024 17:06 4h 5m 49s
Bump rupicola from e849928 to d9d95af (#1851) CI (Coq, Windows) #4358: Commit fe8e256 pushed by andres-erbsen
April 5, 2024 21:29 3h 32m 11s master
master
April 5, 2024 21:29 3h 32m 11s
GarageDoorTop: assert some types CI (Coq, Windows) #4356: Commit d31b3a3 pushed by andres-erbsen
April 5, 2024 16:27 3h 31m 36s master
master
April 5, 2024 16:27 3h 31m 36s
Bump rupicola from 2aa6b13 to e849928 (#1850) CI (Coq, Windows) #4353: Commit a5b9fae pushed by JasonGross
April 4, 2024 21:57 3h 30m 57s master
master
April 4, 2024 21:57 3h 30m 57s
decide point equality (#1848) CI (Coq, Windows) #4343: Commit 841cc2f pushed by andres-erbsen
April 4, 2024 06:13 3h 30m 17s master
master
April 4, 2024 06:13 3h 30m 17s
instantiate Edwards-Montgomery isomorphism for Curve25519 (#1847) CI (Coq, Windows) #4339: Commit eb5ba09 pushed by andres-erbsen
April 3, 2024 20:27 3h 28m 15s master
master
April 3, 2024 20:27 3h 28m 15s
bump bedrock2, use "always" in GarageDoor spec (#1846) CI (Coq, Windows) #4337: Commit 1452648 pushed by andres-erbsen
April 2, 2024 22:22 3h 30m 8s master
master
April 2, 2024 22:22 3h 30m 8s
Joye double-add ladder for short Weierstrass curves in co-Z arithmeti… CI (Coq, Windows) #4335: Commit b0a1bf1 pushed by andres-erbsen
April 2, 2024 14:40 3h 29m 47s master
master
April 2, 2024 14:40 3h 29m 47s
implement and prove Curve25519 scalar clamping (#1845) CI (Coq, Windows) #4334: Commit 9b5f833 pushed by andres-erbsen
April 2, 2024 08:33 3h 29m 13s master
master
April 2, 2024 08:33 3h 29m 13s
add Curves.Edwards.TwistIsomorphism (#1844) CI (Coq, Windows) #4332: Commit 55c430f pushed by andres-erbsen
April 1, 2024 23:15 2m 46s master
master
April 1, 2024 23:15 2m 46s
merge Group.Scalarmult into MontgomeryLadder, use in x25519_base (#1843) CI (Coq, Windows) #4330: Commit 4cd8fc2 pushed by andres-erbsen
April 1, 2024 16:46 3h 23m 23s master
master
April 1, 2024 16:46 3h 23m 23s
CI (Coq, Windows) CI (Coq, Windows) #4327: Scheduled
April 1, 2024 00:32 4h 12m 59s master
master
April 1, 2024 00:32 4h 12m 59s
merge MontgomeryEquivalence into MontgomeryLadder, use in GaragDoor (… CI (Coq, Windows) #4326: Commit 9378552 pushed by andres-erbsen
March 30, 2024 07:05 3h 21m 39s master
master
March 30, 2024 07:05 3h 21m 39s