Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, opam)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-opam-package.yml
294 workflow runs
294 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump windows version of ocaml in prep for moving to v3 CI (Coq, opam) #896: Commit 8475c26 pushed by JasonGross
August 5, 2024 23:37 3h 34m 59s master
master
August 5, 2024 23:37 3h 34m 59s
[js] Set up workers earlier (#1941) CI (Coq, opam) #895: Commit 40f5742 pushed by JasonGross
August 5, 2024 23:28 2h 6m 0s master
master
August 5, 2024 23:28 2h 6m 0s
CI (Coq, opam) CI (Coq, opam) #894: Scheduled
August 1, 2024 01:18 47m 7s master
master
August 1, 2024 01:18 47m 7s
use python-is-python3 (#1938) CI (Coq, opam) #893: Commit 49faca9 pushed by JasonGross
July 30, 2024 13:23 1h 38m 48s master
master
July 30, 2024 13:23 1h 38m 48s
[CI] [Windows] Bump to OCaml 4.13.1 (#1936) CI (Coq, opam) #892: Commit 3683c2c pushed by JasonGross
July 30, 2024 08:49 2h 18m 25s master
master
July 30, 2024 08:49 2h 18m 25s
Adapt w.r.t. coq/coq#19228. (#1934) CI (Coq, opam) #891: Commit 15d4aa0 pushed by andres-erbsen
July 29, 2024 12:05 1h 38m 56s master
master
July 29, 2024 12:05 1h 38m 56s
[CI] macOS 11 is no longer available on GHA (#1928) CI (Coq, opam) #890: Commit 8a89005 pushed by JasonGross
July 8, 2024 17:23 1h 39m 32s master
master
July 8, 2024 17:23 1h 39m 32s
CI (Coq, opam) CI (Coq, opam) #889: Scheduled
July 1, 2024 01:17 1h 39m 43s master
master
July 1, 2024 01:17 1h 39m 43s
[CI] [debian] Containerize testing of standalone (#1924) CI (Coq, opam) #888: Commit c48e39d pushed by JasonGross
June 18, 2024 04:08 1h 37m 23s master
master
June 18, 2024 04:08 1h 37m 23s
Bump rewriter from 9dd74a9 to edcec73 (#1918) CI (Coq, opam) #887: Commit da18c98 pushed by JasonGross
June 17, 2024 23:31 1h 41m 29s master
master
June 17, 2024 23:31 1h 41m 29s
Bump rupicola from e4eb40b to 71a5a07 (#1921) CI (Coq, opam) #886: Commit 7ff747f pushed by andres-erbsen
June 11, 2024 14:45 1h 38m 43s master
master
June 11, 2024 14:45 1h 38m 43s
Greatly reduce the compilation time of src/Arithmetic/BarrettReductio… CI (Coq, opam) #885: Commit 80141fa pushed by JasonGross
June 4, 2024 23:05 1h 41m 29s master
master
June 4, 2024 23:05 1h 41m 29s
[CI] [Haskell] Increase heap size to avoid heap overflow (#1915) CI (Coq, opam) #884: Commit 2e55cc1 pushed by JasonGross
June 2, 2024 01:11 1h 43m 38s master
master
June 2, 2024 01:11 1h 43m 38s
CI (Coq, opam) CI (Coq, opam) #883: Scheduled
June 1, 2024 01:12 1h 42m 47s master
master
June 1, 2024 01:12 1h 42m 47s
Make build.zig files compatible with newly released zig 0.12 (#1913) CI (Coq, opam) #882: Commit a1cfdca pushed by JasonGross
May 20, 2024 07:22 1h 42m 8s master
master
May 20, 2024 07:22 1h 42m 8s
Bump rupicola from a85c012 to dc1e8f3 (#1911) CI (Coq, opam) #881: Commit 2f00603 pushed by JasonGross
May 18, 2024 05:58 1h 41m 5s master
master
May 18, 2024 05:58 1h 41m 5s
Automated Rust Crate Version Bump: Sun May 12 22:29:35 UTC 2024 b7397… CI (Coq, opam) #880: Commit ffc5e91 pushed by JasonGross
May 15, 2024 08:53 2h 27m 26s master
master
May 15, 2024 08:53 2h 27m 26s
Also install .wasm.map files (#1908) CI (Coq, opam) #879: Commit 861b506 pushed by JasonGross
May 15, 2024 08:52 1h 42m 54s master
master
May 15, 2024 08:52 1h 42m 54s
[CI] Remove dead code (#1903) CI (Coq, opam) #878: Commit b739724 pushed by JasonGross
May 12, 2024 20:57 1h 43m 47s master
master
May 12, 2024 20:57 1h 43m 47s
[Non-Mac] Switch to {upload,download}-artifact@v4 (#1898) CI (Coq, opam) #877: Commit b2c4e31 pushed by JasonGross
May 10, 2024 17:12 4h 52m 19s master
master
May 10, 2024 17:12 4h 52m 19s
Disable implicit suffix rules in submakefiles (#1902) CI (Coq, opam) #876: Commit 8360733 pushed by JasonGross
May 10, 2024 17:09 2h 10m 17s master
master
May 10, 2024 17:09 2h 10m 17s
Bump rewriter from b1e8367 to 9dd74a9 (#1904) CI (Coq, opam) #875: Commit d70c5eb pushed by JasonGross
May 10, 2024 12:25 4h 46m 26s master
master
May 10, 2024 12:25 4h 46m 26s
Reuse docker images for validate job (#1901) CI (Coq, opam) #874: Commit ca96927 pushed by JasonGross
May 10, 2024 06:23 6h 18m 58s master
master
May 10, 2024 06:23 6h 18m 58s
More compact windows CI file (#1869) CI (Coq, opam) #873: Commit 58c442a pushed by JasonGross
May 10, 2024 05:43 5h 18m 47s master
master
May 10, 2024 05:43 5h 18m 47s
[CI] Use {upload,download}-artifact@v4 in MacOS (#1899) CI (Coq, opam) #872: Commit 8699e77 pushed by JasonGross
May 10, 2024 05:28 2h 2m 38s master
master
May 10, 2024 05:28 2h 2m 38s