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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CI] [Debian] use -j1 on js-of-ocaml (#1947) CI (Coq, docker, dev) #654: Commit 3bf25e3 pushed by JasonGross
August 19, 2024 16:36 4h 41m 52s master
master
August 19, 2024 16:36 4h 41m 52s
fix Debian CI (#1946) CI (Coq, docker, dev) #649: Commit 634f423 pushed by JasonGross
August 15, 2024 16:16 4h 14m 15s master
master
August 15, 2024 16:16 4h 14m 15s
Generate code for SM2 CI (Coq, docker, dev) #645: Pull request #1940 synchronize by emmansun
August 6, 2024 10:52 4h 57m 44s emmansun:master
emmansun:master
August 6, 2024 10:52 4h 57m 44s
Bump windows version of ocaml in prep for moving to v3 CI (Coq, docker, dev) #640: Commit 8475c26 pushed by JasonGross
August 5, 2024 23:37 7h 49m 41s master
master
August 5, 2024 23:37 7h 49m 41s
[js] Set up workers earlier (#1941) CI (Coq, docker, dev) #639: Commit 40f5742 pushed by JasonGross
August 5, 2024 23:28 7h 18m 54s master
master
August 5, 2024 23:28 7h 18m 54s
CI (Coq, docker, dev) CI (Coq, docker, dev) #637: Manually run by JasonGross
August 5, 2024 23:10 7h 34m 9s master
master
August 5, 2024 23:10 7h 34m 9s
Generate code for SM2 CI (Coq, docker, dev) #635: Pull request #1940 opened by emmansun
August 1, 2024 05:25 8h 42m 29s emmansun:master
emmansun:master
August 1, 2024 05:25 8h 42m 29s
CI (Coq, docker, dev) CI (Coq, docker, dev) #634: Scheduled
August 1, 2024 00:55 3h 52m 43s master
master
August 1, 2024 00:55 3h 52m 43s
use python-is-python3 (#1938) CI (Coq, docker, dev) #628: Commit 49faca9 pushed by JasonGross
July 30, 2024 13:23 3h 57m 41s master
master
July 30, 2024 13:23 3h 57m 41s
[CI] [Windows] Bump to OCaml 4.13.1 (#1936) CI (Coq, docker, dev) #627: Commit 3683c2c pushed by JasonGross
July 30, 2024 08:49 2h 21m 57s master
master
July 30, 2024 08:49 2h 21m 57s
Adapt w.r.t. coq/coq#19228. (#1934) CI (Coq, docker, dev) #619: Commit 15d4aa0 pushed by andres-erbsen
July 29, 2024 12:05 7m 8s master
master
July 29, 2024 12:05 7m 8s
[CI] macOS 11 is no longer available on GHA (#1928) CI (Coq, docker, dev) #610: Commit 8a89005 pushed by JasonGross
July 8, 2024 17:23 6h 56m 47s master
master
July 8, 2024 17:23 6h 56m 47s
CI (Coq, docker, dev) CI (Coq, docker, dev) #605: Scheduled
July 1, 2024 00:54 3h 59m 6s master
master
July 1, 2024 00:54 3h 59m 6s
[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