Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Alpine)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-alpine.yml
805 workflow runs
805 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, Alpine) #776: Pull request #1961 synchronize by JasonGross
September 20, 2024 20:05 4h 39m 44s JasonGross:less-sed
JasonGross:less-sed
September 20, 2024 20:05 4h 39m 44s
Attempt to fix wasm_of_ocaml (#1958) CI (Coq, Alpine) #775: Commit e1cc135 pushed by JasonGross
September 20, 2024 20:04 4h 21m 48s master
master
September 20, 2024 20:04 4h 21m 48s
[CI] [Windows] Attempt to fix Windows CI CI (Coq, Alpine) #774: Pull request #1962 synchronize by JasonGross
September 20, 2024 18:23 4h 0m 59s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 18:23 4h 0m 59s
[CI] [Windows] Attempt to fix Windows CI CI (Coq, Alpine) #773: Pull request #1962 synchronize by JasonGross
September 20, 2024 18:21 49m 24s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 18:21 49m 24s
Simpler attempt to fix wasm_of_ocaml CI (Coq, Alpine) #772: Pull request #1960 synchronize by JasonGross
September 20, 2024 18:17 4h 1m 31s JasonGross-patch-1
JasonGross-patch-1
September 20, 2024 18:17 4h 1m 31s
Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start CI (Coq, Alpine) #771: Pull request #1961 synchronize by JasonGross
September 20, 2024 18:15 3h 38m 53s JasonGross:less-sed
JasonGross:less-sed
September 20, 2024 18:15 3h 38m 53s
[CI] [Windows] Attempt to fix Windows CI CI (Coq, Alpine) #770: Pull request #1962 synchronize by JasonGross
September 20, 2024 18:11 15m 27s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 18:11 15m 27s
Bump rewriter from 19f344b to 1ce9f1a CI (Coq, Alpine) #769: Pull request #1963 opened by dependabot bot
September 20, 2024 08:08 6h 15m 40s dependabot/submodules/rewriter-1ce9f1a
dependabot/submodules/rewriter-1ce9f1a
September 20, 2024 08:08 6h 15m 40s
[CI] [Windows] Attempt to fix Windows CI CI (Coq, Alpine) #768: Pull request #1962 synchronize by JasonGross
September 20, 2024 05:35 7h 29m 49s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 05:35 7h 29m 49s
[CI] [Windows] Attempt to fix Windows CI CI (Coq, Alpine) #767: Pull request #1962 opened by JasonGross
September 20, 2024 04:47 5h 15m 5s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 04:47 5h 15m 5s
Revert "Also install .wasm.map files" CI (Coq, Alpine) #766: Pull request #1959 synchronize by JasonGross
September 20, 2024 04:01 9h 3m 5s revert-1908-install-wasm-map
revert-1908-install-wasm-map
September 20, 2024 04:01 9h 3m 5s
Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start CI (Coq, Alpine) #765: Pull request #1961 synchronize by JasonGross
September 20, 2024 04:00 8h 48m 13s JasonGross:less-sed
JasonGross:less-sed
September 20, 2024 04:00 8h 48m 13s
Simpler attempt to fix wasm_of_ocaml CI (Coq, Alpine) #764: Pull request #1960 synchronize by JasonGross
September 20, 2024 03:55 8h 52m 31s JasonGross-patch-1
JasonGross-patch-1
September 20, 2024 03:55 8h 52m 31s
[CI] [Windows] fix git config with bash CI (Coq, Alpine) #763: Commit d8b0508 pushed by JasonGross
September 20, 2024 03:52 8h 54m 25s master
master
September 20, 2024 03:52 8h 54m 25s
Simpler attempt to fix wasm_of_ocaml CI (Coq, Alpine) #762: Pull request #1960 synchronize by JasonGross
September 20, 2024 00:29 7h 9m 28s JasonGross-patch-1
JasonGross-patch-1
September 20, 2024 00:29 7h 9m 28s
[CI] Adjust Windows opam config for ocaml/setup-ocaml 3 (#1939) CI (Coq, Alpine) #761: Commit 15f63d0 pushed by JasonGross
September 20, 2024 00:29 12h 15m 41s master
master
September 20, 2024 00:29 12h 15m 41s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #760: Pull request #1939 synchronize by JasonGross
September 20, 2024 00:28 12h 2m 38s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 20, 2024 00:28 12h 2m 38s
Avoid error: wrong number of arguments, should be 2 in Windows opam CI CI (Coq, Alpine) #759: Commit 23e42a9 pushed by JasonGross
September 20, 2024 00:11 12h 14m 54s master
master
September 20, 2024 00:11 12h 14m 54s
Simpler attempt to fix wasm_of_ocaml CI (Coq, Alpine) #758: Pull request #1960 synchronize by JasonGross
September 19, 2024 23:56 6h 34m 17s JasonGross-patch-1
JasonGross-patch-1
September 19, 2024 23:56 6h 34m 17s
Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start CI (Coq, Alpine) #757: Pull request #1961 synchronize by JasonGross
September 19, 2024 23:55 8h 3m 28s JasonGross:less-sed
JasonGross:less-sed
September 19, 2024 23:55 8h 3m 28s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #756: Pull request #1939 synchronize by JasonGross
September 19, 2024 23:49 5h 41m 31s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:49 5h 41m 31s
Don't rely on CYGWIN_ROOT in opam Windows CI CI (Coq, Alpine) #755: Commit 0e6b3e8 pushed by JasonGross
September 19, 2024 23:49 12h 16m 16s master
master
September 19, 2024 23:49 12h 16m 16s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #754: Pull request #1939 synchronize by JasonGross
September 19, 2024 23:47 3h 11m 11s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:47 3h 11m 11s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #753: Pull request #1939 synchronize by JasonGross
September 19, 2024 23:39 2h 28m 1s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:39 2h 28m 1s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #752: Pull request #1939 synchronize by JasonGross
September 19, 2024 23:38 2h 3m 26s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:38 2h 3m 26s