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

Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 (#… CI (Coq, docker, dev) #744: Commit 9dda471 pushed by JasonGross
October 17, 2024 01:14 3h 41m 34s master
master
October 17, 2024 01:14 3h 41m 34s
[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 (#1971) CI (Coq, docker, dev) #736: Commit 350ff6f pushed by JasonGross
October 9, 2024 06:14 5h 17m 28s master
master
October 9, 2024 06:14 5h 17m 28s
Add CI shield for opam package to README (#1972) CI (Coq, docker, dev) #735: Commit cf8e157 pushed by JasonGross
October 9, 2024 01:24 5h 13m 27s master
master
October 9, 2024 01:24 5h 13m 27s
CI (Coq, docker, dev) CI (Coq, docker, dev) #729: Scheduled
October 1, 2024 01:02 3h 42m 55s master
master
October 1, 2024 01:02 3h 42m 55s
Actually install the wasm of ocaml files CI (Coq, docker, dev) #725: Commit 48e00c6 pushed by JasonGross
September 22, 2024 04:49 5h 6m 20s master
master
September 22, 2024 04:49 5h 6m 20s
Add support for wasm files in assets subdirectory (#1966) CI (Coq, docker, dev) #724: Commit 025f0b8 pushed by JasonGross
September 22, 2024 04:44 4h 0m 8s master
master
September 22, 2024 04:44 4h 0m 8s
Don't sed wasm files, instead use subfolders to ensure the binary nam… CI (Coq, docker, dev) #720: Commit 30b7261 pushed by JasonGross
September 21, 2024 02:11 7h 3m 19s master
master
September 21, 2024 02:11 7h 3m 19s
[CI] [Windows] Attempt to fix Windows CI (#1962) CI (Coq, docker, dev) #717: Commit 9757358 pushed by JasonGross
September 21, 2024 01:09 7h 32m 3s master
master
September 21, 2024 01:09 7h 32m 3s
Attempt to fix wasm_of_ocaml (#1958) CI (Coq, docker, dev) #714: Commit e1cc135 pushed by JasonGross
September 20, 2024 20:04 5h 59m 0s master
master
September 20, 2024 20:04 5h 59m 0s
[CI] [Windows] fix git config with bash CI (Coq, docker, dev) #702: Commit d8b0508 pushed by JasonGross
September 20, 2024 03:52 9h 54m 36s master
master
September 20, 2024 03:52 9h 54m 36s
[CI] Adjust Windows opam config for ocaml/setup-ocaml 3 (#1939) CI (Coq, docker, dev) #700: Commit 15f63d0 pushed by JasonGross
September 20, 2024 00:29 12h 35m 36s master
master
September 20, 2024 00:29 12h 35m 36s
Avoid error: wrong number of arguments, should be 2 in Windows opam CI CI (Coq, docker, dev) #698: Commit 23e42a9 pushed by JasonGross
September 20, 2024 00:11 12h 35m 45s master
master
September 20, 2024 00:11 12h 35m 45s
Don't rely on CYGWIN_ROOT in opam Windows CI CI (Coq, docker, dev) #694: Commit 0e6b3e8 pushed by JasonGross
September 19, 2024 23:49 12h 52m 20s master
master
September 19, 2024 23:49 12h 52m 20s
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