Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Arch Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-archlinux.yml
169 workflow run results
169 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

move memcpy to bedrock2 CI (Coq, Arch Linux) #848: Commit d24de16 pushed by andres-erbsen
3h 24m 12s master
master
3h 24m 12s
Adapt to https://github.com/rocq-prover/rocq/pull/20816 (#2155) CI (Coq, Arch Linux) #843: Commit 089ebcc pushed by JasonGross
3h 25m 40s master
master
3h 25m 40s
Field ops with map.of_list_word_at precondition CI (Coq, Arch Linux) #840: Commit 19bc48e pushed by andres-erbsen
3h 26m 47s master
master
3h 26m 47s
merge composed build CI (Coq, Arch Linux) #834: Commit af03839 pushed by andres-erbsen
3h 20m 45s master
master
3h 20m 45s
bump rupicola CI (Coq, Arch Linux) #829: Commit 4fd12b3 pushed by andres-erbsen
3h 23m 42s master
master
3h 23m 42s
Remove stale versions from coq-opam-package.yml CI (Coq, Arch Linux) #827: Commit 82b700b pushed by andres-erbsen
3h 20m 29s master
master
3h 20m 29s
Update for Zig 0.15 CI (Coq, Arch Linux) #824: Commit 7215ce5 pushed by andres-erbsen
3h 17m 6s master
master
3h 17m 6s
CI (Coq, Arch Linux) CI (Coq, Arch Linux) #822: Scheduled
3h 20m 8s master
master
3h 20m 8s
bump rupicola CI (Coq, Arch Linux) #821: Commit 6b07d7c pushed by andres-erbsen
3h 27m 3s master
master
3h 27m 3s
add bedrock2 code for P256 Jacobian add and double (#2106) CI (Coq, Arch Linux) #818: Commit 9f76415 pushed by andres-erbsen
3h 19m 50s master
master
3h 19m 50s
Do not warn for deprecations in 8.20, 9.0 CI (Coq, Arch Linux) #816: Commit 9dfe9be pushed by andres-erbsen
4h 55m 40s master
master
4h 55m 40s
Require Coq 8.20 CI (Coq, Arch Linux) #815: Commit 42016df pushed by andres-erbsen
3h 15m 40s master
master
3h 15m 40s
Reduce function definitions before goal creation CI (Coq, Arch Linux) #805: Commit b577a04 pushed by andres-erbsen
3h 14m 53s master
master
3h 14m 53s
Ed25519: Point-based programs and separation logic CI (Coq, Arch Linux) #800: Commit 95975dc pushed by andres-erbsen
3h 11m 9s master
master
3h 11m 9s
CI (Coq, Arch Linux) CI (Coq, Arch Linux) #797: Scheduled
3h 10m 32s master
master
3h 10m 32s
Add sigma types to precomputed points CI (Coq, Arch Linux) #793: Commit 2cd9892 pushed by andres-erbsen
3h 8m 32s master
master
3h 8m 32s
Ed25519: Point-based separation logic for doubling CI (Coq, Arch Linux) #790: Commit 7cab950 pushed by andres-erbsen
3h 48m 54s master
master
3h 48m 54s
[CI] [Rust] Handle existence of patch.crates-io section (#2126) CI (Coq, Arch Linux) #786: Commit 087f782 pushed by JasonGross
4h 37m 47s master
master
4h 37m 47s
[CI] Autogenerate PR for generated files when CI fails and regenerate… CI (Coq, Arch Linux) #782: Commit cf5d8ac pushed by JasonGross
4h 57m 2s master
master
4h 57m 2s
Disable BoringSSL-integration tests CI (Coq, Arch Linux) #777: Commit 4fea40f pushed by andres-erbsen
3h 8m 56s master
master
3h 8m 56s
refactor Scalars to use $@ CI (Coq, Arch Linux) #772: Commit 86bd297 pushed by andres-erbsen
3h 10m 3s master
master
3h 10m 3s
Merge pull request #2117 from mit-plv/enable-jsoo-macos CI (Coq, Arch Linux) #770: Commit 347865b pushed by JasonGross
3h 11m 7s master
master
3h 11m 7s
Implement and prove to_cached function CI (Coq, Arch Linux) #766: Commit a6eb6bb pushed by andres-erbsen
3h 8m 42s master
master
3h 8m 42s
CI (Coq, Arch Linux) CI (Coq, Arch Linux) #760: Scheduled
3h 8m 1s master
master
3h 8m 1s
bump rupicola and coqprime (#2112) CI (Coq, Arch Linux) #759: Commit 48b3a70 pushed by JasonGross
4h 28m 43s master
master
4h 28m 43s