Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, docker, dev)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-docker.yml
235 workflow run results
235 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CI] [debian] Containerize testing of standalone (#1924) CI (Coq, docker, dev) #604: Commit c48e39d pushed by JasonGross
June 18, 2024 04:08 3h 54m 38s master
master
June 18, 2024 04:08 3h 54m 38s
Bump rewriter from 9dd74a9 to edcec73 (#1918) CI (Coq, docker, dev) #602: Commit da18c98 pushed by JasonGross
June 17, 2024 23:31 4h 4m 55s master
master
June 17, 2024 23:31 4h 4m 55s
Bump rupicola from e4eb40b to 71a5a07 (#1921) CI (Coq, docker, dev) #597: Commit 7ff747f pushed by andres-erbsen
June 11, 2024 14:45 4h 6m 44s master
master
June 11, 2024 14:45 4h 6m 44s
Greatly reduce the compilation time of src/Arithmetic/BarrettReductio… CI (Coq, docker, dev) #594: Commit 80141fa pushed by JasonGross
June 4, 2024 23:05 3h 56m 45s master
master
June 4, 2024 23:05 3h 56m 45s
[CI] [Haskell] Increase heap size to avoid heap overflow (#1915) CI (Coq, docker, dev) #589: Commit 2e55cc1 pushed by JasonGross
June 2, 2024 01:11 3h 55m 44s master
master
June 2, 2024 01:11 3h 55m 44s
CI (Coq, docker, dev) CI (Coq, docker, dev) #586: Scheduled
June 1, 2024 00:50 4h 3m 0s master
master
June 1, 2024 00:50 4h 3m 0s
Make build.zig files compatible with newly released zig 0.12 (#1913) CI (Coq, docker, dev) #582: Commit a1cfdca pushed by JasonGross
May 20, 2024 07:22 4h 1m 40s master
master
May 20, 2024 07:22 4h 1m 40s
Bump rupicola from a85c012 to dc1e8f3 (#1911) CI (Coq, docker, dev) #578: Commit 2f00603 pushed by JasonGross
May 18, 2024 05:58 3h 57m 40s master
master
May 18, 2024 05:58 3h 57m 40s
Automated Rust Crate Version Bump: Sun May 12 22:29:35 UTC 2024 b7397… CI (Coq, docker, dev) #575: Commit ffc5e91 pushed by JasonGross
May 15, 2024 08:53 7h 5m 33s master
master
May 15, 2024 08:53 7h 5m 33s
Also install .wasm.map files (#1908) CI (Coq, docker, dev) #574: Commit 861b506 pushed by JasonGross
May 15, 2024 08:52 6h 20m 29s master
master
May 15, 2024 08:52 6h 20m 29s
[CI] Remove dead code (#1903) CI (Coq, docker, dev) #569: Commit b739724 pushed by JasonGross
May 12, 2024 20:57 3h 59m 33s master
master
May 12, 2024 20:57 3h 59m 33s
[Non-Mac] Switch to {upload,download}-artifact@v4 (#1898) CI (Coq, docker, dev) #564: Commit b2c4e31 pushed by JasonGross
May 10, 2024 17:12 7h 58m 43s master
master
May 10, 2024 17:12 7h 58m 43s
Disable implicit suffix rules in submakefiles (#1902) CI (Coq, docker, dev) #562: Commit 8360733 pushed by JasonGross
May 10, 2024 17:09 7h 9m 38s master
master
May 10, 2024 17:09 7h 9m 38s
Bump rewriter from b1e8367 to 9dd74a9 (#1904) CI (Coq, docker, dev) #561: Commit d70c5eb pushed by JasonGross
May 10, 2024 12:25 11h 4m 2s master
master
May 10, 2024 12:25 11h 4m 2s
Reuse docker images for validate job (#1901) CI (Coq, docker, dev) #558: Commit ca96927 pushed by JasonGross
May 10, 2024 06:23 15h 10m 7s master
master
May 10, 2024 06:23 15h 10m 7s
More compact windows CI file (#1869) CI (Coq, docker, dev) #557: Commit 58c442a pushed by JasonGross
May 10, 2024 05:43 15h 44m 2s master
master
May 10, 2024 05:43 15h 44m 2s
[CI] Use {upload,download}-artifact@v4 in MacOS (#1899) CI (Coq, docker, dev) #554: Commit 8699e77 pushed by JasonGross
May 10, 2024 05:28 11h 36m 26s master
master
May 10, 2024 05:28 11h 36m 26s
Merge pull request #1891 from JasonGross/mac-universal CI (Coq, docker, dev) #552: Commit 5066396 pushed by JasonGross
May 10, 2024 03:47 13h 9m 48s master
master
May 10, 2024 03:47 13h 9m 48s
Bump etc/coq-scripts from 857071d to e4d9e81 (#1896) CI (Coq, docker, dev) #543: Commit 1368f5f pushed by JasonGross
May 9, 2024 18:39 6h 38m 13s master
master
May 9, 2024 18:39 6h 38m 13s
Allow host libc to mismatch debian container libc when testing binary… CI (Coq, docker, dev) #542: Commit 73e5945 pushed by JasonGross
May 9, 2024 18:22 5h 56m 5s master
master
May 9, 2024 18:22 5h 56m 5s
eval opam env in describing sys config (#1895) CI (Coq, docker, dev) #539: Commit 724035e pushed by JasonGross
May 9, 2024 09:16 10h 28m 48s master
master
May 9, 2024 09:16 10h 28m 48s
[CI] brew install grep on MacOS for ggrep (#1894) CI (Coq, docker, dev) #538: Commit 1461a9d pushed by JasonGross
May 9, 2024 09:14 9h 24m 49s master
master
May 9, 2024 09:14 9h 24m 49s
Add ldd info to CI system config, and gcc & ldd on win CI (Coq, docker, dev) #531: Commit c5008e7 pushed by JasonGross
May 9, 2024 04:22 10h 21m 43s master
master
May 9, 2024 04:22 10h 21m 43s
CI (Coq, docker, dev) CI (Coq, docker, dev) #526: Scheduled
May 1, 2024 00:47 4h 3m 50s master
master
May 1, 2024 00:47 4h 3m 50s
Update coq-opam-package.yml CI (Coq, docker, dev) #525: Commit 2bd0653 pushed by JasonGross
April 22, 2024 21:12 5h 54m 19s master
master
April 22, 2024 21:12 5h 54m 19s