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

Don't rely on CYGWIN_ROOT in windows config (For #1939) CI (Coq, docker, dev) #690: Commit 1bca15a pushed by JasonGross
September 19, 2024 23:38 12h 7m 16s master
master
September 19, 2024 23:38 12h 7m 16s
Adapt to /~https://github.com/coq/coq/pull/19530 (#1957) CI (Coq, docker, dev) #689: Commit 7f0f40a pushed by JasonGross
September 19, 2024 19:05 14h 13m 18s master
master
September 19, 2024 19:05 14h 13m 18s
Reorder system info CI (Coq, docker, dev) #686: Commit 4322df2 pushed by JasonGross
September 19, 2024 18:32 12h 4m 45s master
master
September 19, 2024 18:32 12h 4m 45s
List more files on github actions make CI (Coq, docker, dev) #685: Commit 8334b84 pushed by JasonGross
September 19, 2024 18:27 12h 10m 2s master
master
September 19, 2024 18:27 12h 10m 2s
Merge pull request #1953 from andres-erbsen/weier2 CI (Coq, docker, dev) #670: Commit d3af796 pushed by andres-erbsen
September 5, 2024 06:39 3h 45m 55s master
master
September 5, 2024 06:39 3h 45m 55s
Generate code for SM2 (#1940) CI (Coq, docker, dev) #668: Commit 9158342 pushed by andres-erbsen
September 4, 2024 22:46 3h 59m 8s master
master
September 4, 2024 22:46 3h 59m 8s
Generate code for SM2 CI (Coq, docker, dev) #665: Pull request #1940 synchronize by emmansun
September 2, 2024 13:15 4h 2m 25s emmansun:master
emmansun:master
September 2, 2024 13:15 4h 2m 25s
Pin Zig to the current stable version instead of master (#1951) CI (Coq, docker, dev) #664: Commit 95ea54c pushed by JasonGross
September 2, 2024 11:55 3h 44m 20s master
master
September 2, 2024 11:55 3h 44m 20s
Bump rupicola from 941374a to d55f2d7 (#1948) CI (Coq, docker, dev) #660: Commit a96c4fc pushed by JasonGross
September 1, 2024 06:51 3h 51m 1s master
master
September 1, 2024 06:51 3h 51m 1s
CI (Coq, docker, dev) CI (Coq, docker, dev) #659: Scheduled
September 1, 2024 01:02 3h 56m 26s master
master
September 1, 2024 01:02 3h 56m 26s
Generate code for SM2 CI (Coq, docker, dev) #657: Pull request #1940 synchronize by JasonGross
August 30, 2024 06:57 4h 32m 36s emmansun:master
emmansun:master
August 30, 2024 06:57 4h 32m 36s
[CI] [Debian] sudo work around broken git config (#1949) CI (Coq, docker, dev) #656: Commit 107c351 pushed by JasonGross
August 30, 2024 05:54 5h 14m 25s master
master
August 30, 2024 05:54 5h 14m 25s
[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