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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

move memcpy to bedrock2 CI (Coq, Debian) #1431: Commit d24de16 pushed by andres-erbsen
3h 19m 26s master
master
3h 19m 26s
Adapt to https://github.com/rocq-prover/rocq/pull/20816 (#2155) CI (Coq, Debian) #1426: Commit 089ebcc pushed by JasonGross
3h 22m 41s master
master
3h 22m 41s
Field ops with map.of_list_word_at precondition CI (Coq, Debian) #1423: Commit 19bc48e pushed by andres-erbsen
27s master
master
27s
merge composed build CI (Coq, Debian) #1417: Commit af03839 pushed by andres-erbsen
3h 18m 11s master
master
3h 18m 11s
bump rupicola CI (Coq, Debian) #1412: Commit 4fd12b3 pushed by andres-erbsen
3h 23m 31s master
master
3h 23m 31s
Remove stale versions from coq-opam-package.yml CI (Coq, Debian) #1410: Commit 82b700b pushed by andres-erbsen
3h 18m 46s master
master
3h 18m 46s
Update for Zig 0.15 CI (Coq, Debian) #1407: Commit 7215ce5 pushed by andres-erbsen
3h 19m 13s master
master
3h 19m 13s
CI (Coq, Debian) CI (Coq, Debian) #1405: Scheduled
3h 21m 40s master
master
3h 21m 40s
bump rupicola CI (Coq, Debian) #1404: Commit 6b07d7c pushed by andres-erbsen
3h 18m 44s master
master
3h 18m 44s
add bedrock2 code for P256 Jacobian add and double (#2106) CI (Coq, Debian) #1401: Commit 9f76415 pushed by andres-erbsen
3h 23m 0s master
master
3h 23m 0s
Do not warn for deprecations in 8.20, 9.0 CI (Coq, Debian) #1399: Commit 9dfe9be pushed by andres-erbsen
4h 4m 27s master
master
4h 4m 27s
Require Coq 8.20 CI (Coq, Debian) #1398: Commit 42016df pushed by andres-erbsen
3h 17m 22s master
master
3h 17m 22s
Reduce function definitions before goal creation CI (Coq, Debian) #1388: Commit b577a04 pushed by andres-erbsen
3h 14m 55s master
master
3h 14m 55s
Ed25519: Point-based programs and separation logic CI (Coq, Debian) #1383: Commit 95975dc pushed by andres-erbsen
3h 8m 48s master
master
3h 8m 48s
CI (Coq, Debian) CI (Coq, Debian) #1380: Scheduled
3h 5m 48s master
master
3h 5m 48s
Add sigma types to precomputed points CI (Coq, Debian) #1376: Commit 2cd9892 pushed by andres-erbsen
3h 13m 31s master
master
3h 13m 31s
Ed25519: Point-based separation logic for doubling CI (Coq, Debian) #1373: Commit 7cab950 pushed by andres-erbsen
3h 7m 34s master
master
3h 7m 34s
[CI] [Rust] Handle existence of patch.crates-io section (#2126) CI (Coq, Debian) #1369: Commit 087f782 pushed by JasonGross
4h 36m 53s master
master
4h 36m 53s
[CI] Autogenerate PR for generated files when CI fails and regenerate… CI (Coq, Debian) #1365: Commit cf5d8ac pushed by JasonGross
4h 44m 23s master
master
4h 44m 23s
Disable BoringSSL-integration tests CI (Coq, Debian) #1360: Commit 4fea40f pushed by andres-erbsen
3h 8m 57s master
master
3h 8m 57s
refactor Scalars to use $@ CI (Coq, Debian) #1355: Commit 86bd297 pushed by andres-erbsen
3h 14m 50s master
master
3h 14m 50s
Merge pull request #2117 from mit-plv/enable-jsoo-macos CI (Coq, Debian) #1353: Commit 347865b pushed by JasonGross
3h 19m 20s master
master
3h 19m 20s
Implement and prove to_cached function CI (Coq, Debian) #1349: Commit a6eb6bb pushed by andres-erbsen
3h 10m 46s master
master
3h 10m 46s
CI (Coq, Debian) CI (Coq, Debian) #1343: Scheduled
3h 9m 0s master
master
3h 9m 0s
bump rupicola and coqprime (#2112) CI (Coq, Debian) #1342: Commit 48b3a70 pushed by JasonGross
3h 4m 37s master
master
3h 4m 37s