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
164 workflow run results
164 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not warn for deprecations in 8.20, 9.0 CI (Coq, Windows) #5039: Commit 9dfe9be pushed by andres-erbsen
August 22, 2025 20:43 4h 11m 55s master
master
August 22, 2025 20:43 4h 11m 55s
Require Coq 8.20 CI (Coq, Windows) #5038: Commit 42016df pushed by andres-erbsen
August 22, 2025 20:42 4h 5m 25s master
master
August 22, 2025 20:42 4h 5m 25s
Reduce function definitions before goal creation CI (Coq, Windows) #5028: Commit b577a04 pushed by andres-erbsen
August 19, 2025 18:51 3h 53m 38s master
master
August 19, 2025 18:51 3h 53m 38s
Ed25519: Point-based programs and separation logic CI (Coq, Windows) #5023: Commit 95975dc pushed by andres-erbsen
August 7, 2025 18:44 3h 57m 9s master
master
August 7, 2025 18:44 3h 57m 9s
CI (Coq, Windows) CI (Coq, Windows) #5020: Scheduled
August 1, 2025 00:57 3h 58m 27s master
master
August 1, 2025 00:57 3h 58m 27s
Add sigma types to precomputed points CI (Coq, Windows) #5016: Commit 2cd9892 pushed by andres-erbsen
July 24, 2025 11:02 3h 52m 45s master
master
July 24, 2025 11:02 3h 52m 45s
Ed25519: Point-based separation logic for doubling CI (Coq, Windows) #5013: Commit 7cab950 pushed by andres-erbsen
July 22, 2025 01:45 3h 51m 43s master
master
July 22, 2025 01:45 3h 51m 43s
[CI] [Rust] Handle existence of patch.crates-io section (#2126) CI (Coq, Windows) #5009: Commit 087f782 pushed by JasonGross
July 21, 2025 19:05 4h 48m 5s master
master
July 21, 2025 19:05 4h 48m 5s
[CI] Autogenerate PR for generated files when CI fails and regenerate… CI (Coq, Windows) #5005: Commit cf5d8ac pushed by JasonGross
July 21, 2025 18:45 5h 2m 45s master
master
July 21, 2025 18:45 5h 2m 45s
Disable BoringSSL-integration tests CI (Coq, Windows) #5000: Commit 4fea40f pushed by andres-erbsen
July 16, 2025 05:54 3h 44m 18s master
master
July 16, 2025 05:54 3h 44m 18s
refactor Scalars to use $@ CI (Coq, Windows) #4995: Commit 86bd297 pushed by andres-erbsen
July 14, 2025 23:25 3h 48m 47s master
master
July 14, 2025 23:25 3h 48m 47s
Merge pull request #2117 from mit-plv/enable-jsoo-macos CI (Coq, Windows) #4993: Commit 347865b pushed by JasonGross
July 14, 2025 19:30 3h 43m 7s master
master
July 14, 2025 19:30 3h 43m 7s
Implement and prove to_cached function CI (Coq, Windows) #4989: Commit a6eb6bb pushed by andres-erbsen
July 7, 2025 12:34 3h 45m 43s master
master
July 7, 2025 12:34 3h 45m 43s
CI (Coq, Windows) CI (Coq, Windows) #4983: Scheduled
July 1, 2025 00:54 3h 46m 33s master
master
July 1, 2025 00:54 3h 46m 33s
bump rupicola and coqprime (#2112) CI (Coq, Windows) #4982: Commit 48b3a70 pushed by JasonGross
June 30, 2025 22:30 4h 25m 37s master
master
June 30, 2025 22:30 4h 25m 37s
[CI] [Windows] Upgrade setup-ocaml to v3 (#2111) CI (Coq, Windows) #4978: Commit cd20971 pushed by JasonGross
June 28, 2025 09:24 3h 45m 22s master
master
June 28, 2025 09:24 3h 45m 22s
bump coqutil CI (Coq, Windows) #4971: Commit 41b6cca pushed by andres-erbsen
June 17, 2025 14:08 3h 21m 21s master
master
June 17, 2025 14:08 3h 21m 21s
bump bedrock2 CI (Coq, Windows) #4963: Commit a1aa1b0 pushed by andres-erbsen
June 16, 2025 20:20 3h 17m 54s master
master
June 16, 2025 20:20 3h 17m 54s
Merge pull request #2102 from andres-erbsen/unary-operators3 CI (Coq, Windows) #4959: Commit da425a4 pushed by andres-erbsen
June 13, 2025 04:22 3h 24m 21s master
master
June 13, 2025 04:22 3h 24m 21s
Bump coqprime from f23d095 to 45c784d CI (Coq, Windows) #4953: Commit 9eb8af1 pushed by andres-erbsen
June 6, 2025 13:37 4h 7m 52s master
master
June 6, 2025 13:37 4h 7m 52s
Update the mlugg/setup-zig GitHub action CI (Coq, Windows) #4952: Commit aa60562 pushed by andres-erbsen
June 6, 2025 13:36 3h 26m 42s master
master
June 6, 2025 13:36 3h 26m 42s
Bump rewriter from 4b028fc to 9496def (#2073) CI (Coq, Windows) #4946: Commit 67316f0 pushed by JasonGross
June 3, 2025 21:33 5h 6m 22s master
master
June 3, 2025 21:33 5h 6m 22s
Bump coqprime from 09db3f8 to f23d095 (#2086) CI (Coq, Windows) #4945: Commit 83af94e pushed by JasonGross
June 3, 2025 21:33 5h 3m 42s master
master
June 3, 2025 21:33 5h 3m 42s
Merge pull request #2080 from Daniel-Aaron-Bloom/rust-const CI (Coq, Windows) #4944: Commit 0891903 pushed by JasonGross
June 3, 2025 21:32 5h 4m 6s master
master
June 3, 2025 21:32 5h 4m 6s
remove PermutationCompat CI (Coq, Windows) #4942: Commit dddbc9d pushed by andres-erbsen
June 2, 2025 23:16 3h 19m 54s master
master
June 2, 2025 23:16 3h 19m 54s