Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Debian)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-debian.yml
1,017 workflow runs
1,017 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start CI (Coq, Debian) #983: Pull request #1961 synchronize by JasonGross
September 20, 2024 20:05 3h 5m 58s JasonGross:less-sed
JasonGross:less-sed
September 20, 2024 20:05 3h 5m 58s
Attempt to fix wasm_of_ocaml (#1958) CI (Coq, Debian) #982: Commit e1cc135 pushed by JasonGross
September 20, 2024 20:04 3h 11m 37s master
master
September 20, 2024 20:04 3h 11m 37s
[CI] [Windows] Attempt to fix Windows CI CI (Coq, Debian) #981: Pull request #1962 synchronize by JasonGross
September 20, 2024 18:23 4h 0m 48s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 18:23 4h 0m 48s
[CI] [Windows] Attempt to fix Windows CI CI (Coq, Debian) #980: Pull request #1962 synchronize by JasonGross
September 20, 2024 18:21 49m 44s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 18:21 49m 44s
Simpler attempt to fix wasm_of_ocaml CI (Coq, Debian) #979: Pull request #1960 synchronize by JasonGross
September 20, 2024 18:17 4h 1m 43s JasonGross-patch-1
JasonGross-patch-1
September 20, 2024 18:17 4h 1m 43s
Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start CI (Coq, Debian) #978: Pull request #1961 synchronize by JasonGross
September 20, 2024 18:15 3h 39m 4s JasonGross:less-sed
JasonGross:less-sed
September 20, 2024 18:15 3h 39m 4s
[CI] [Windows] Attempt to fix Windows CI CI (Coq, Debian) #977: Pull request #1962 synchronize by JasonGross
September 20, 2024 18:11 15m 5s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 18:11 15m 5s
Bump rewriter from 19f344b to 1ce9f1a CI (Coq, Debian) #976: Pull request #1963 opened by dependabot bot
September 20, 2024 08:08 4h 40m 32s dependabot/submodules/rewriter-1ce9f1a
dependabot/submodules/rewriter-1ce9f1a
September 20, 2024 08:08 4h 40m 32s
[CI] [Windows] Attempt to fix Windows CI CI (Coq, Debian) #975: Pull request #1962 synchronize by JasonGross
September 20, 2024 05:35 7h 9m 34s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 05:35 7h 9m 34s
[CI] [Windows] Attempt to fix Windows CI CI (Coq, Debian) #974: Pull request #1962 opened by JasonGross
September 20, 2024 04:47 5h 15m 49s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 04:47 5h 15m 49s
Revert "Also install .wasm.map files" CI (Coq, Debian) #973: Pull request #1959 synchronize by JasonGross
September 20, 2024 04:01 8h 29m 9s revert-1908-install-wasm-map
revert-1908-install-wasm-map
September 20, 2024 04:01 8h 29m 9s
Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start CI (Coq, Debian) #972: Pull request #1961 synchronize by JasonGross
September 20, 2024 04:00 8h 30m 15s JasonGross:less-sed
JasonGross:less-sed
September 20, 2024 04:00 8h 30m 15s
Simpler attempt to fix wasm_of_ocaml CI (Coq, Debian) #971: Pull request #1960 synchronize by JasonGross
September 20, 2024 03:55 8h 34m 43s JasonGross-patch-1
JasonGross-patch-1
September 20, 2024 03:55 8h 34m 43s
[CI] [Windows] fix git config with bash CI (Coq, Debian) #970: Commit d8b0508 pushed by JasonGross
September 20, 2024 03:52 8h 36m 50s master
master
September 20, 2024 03:52 8h 36m 50s
Simpler attempt to fix wasm_of_ocaml CI (Coq, Debian) #969: Pull request #1960 synchronize by JasonGross
September 20, 2024 00:29 10h 5m 59s JasonGross-patch-1
JasonGross-patch-1
September 20, 2024 00:29 10h 5m 59s
[CI] Adjust Windows opam config for ocaml/setup-ocaml 3 (#1939) CI (Coq, Debian) #968: Commit 15f63d0 pushed by JasonGross
September 20, 2024 00:29 10h 5m 21s master
master
September 20, 2024 00:29 10h 5m 21s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Debian) #967: Pull request #1939 synchronize by JasonGross
September 20, 2024 00:28 10h 6m 12s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 20, 2024 00:28 10h 6m 12s
Avoid error: wrong number of arguments, should be 2 in Windows opam CI CI (Coq, Debian) #966: Commit 23e42a9 pushed by JasonGross
September 20, 2024 00:11 10h 22m 45s master
master
September 20, 2024 00:11 10h 22m 45s
Simpler attempt to fix wasm_of_ocaml CI (Coq, Debian) #965: Pull request #1960 synchronize by JasonGross
September 19, 2024 23:56 6h 34m 35s JasonGross-patch-1
JasonGross-patch-1
September 19, 2024 23:56 6h 34m 35s
Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start CI (Coq, Debian) #964: Pull request #1961 synchronize by JasonGross
September 19, 2024 23:55 6h 54m 36s JasonGross:less-sed
JasonGross:less-sed
September 19, 2024 23:55 6h 54m 36s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Debian) #963: Pull request #1939 synchronize by JasonGross
September 19, 2024 23:49 5h 41m 40s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:49 5h 41m 40s
Don't rely on CYGWIN_ROOT in opam Windows CI CI (Coq, Debian) #962: Commit 0e6b3e8 pushed by JasonGross
September 19, 2024 23:49 10h 43m 25s master
master
September 19, 2024 23:49 10h 43m 25s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Debian) #961: Pull request #1939 synchronize by JasonGross
September 19, 2024 23:47 3h 11m 24s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:47 3h 11m 24s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Debian) #960: Pull request #1939 synchronize by JasonGross
September 19, 2024 23:39 2h 51m 3s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:39 2h 51m 3s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Debian) #959: Pull request #1939 synchronize by JasonGross
September 19, 2024 23:38 2h 3m 39s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:38 2h 3m 39s