Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Arch Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-archlinux.yml
148 workflow run results
148 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI (Coq, Arch Linux) CI (Coq, Arch Linux) #463: Scheduled
January 1, 2025 00:57 3h 7m 26s master
master
January 1, 2025 00:57 3h 7m 26s
Adapt to /~https://github.com/coq/coq/pull/19530 (#1992) CI (Coq, Arch Linux) #458: Commit 8eccaf2 pushed by JasonGross
December 5, 2024 13:16 3h 7m 14s master
master
December 5, 2024 13:16 3h 7m 14s
drop support for macOS 12 CI (Coq, Arch Linux) #455: Commit 781d047 pushed by JasonGross
December 5, 2024 07:27 3h 14m 14s master
master
December 5, 2024 07:27 3h 14m 14s
CI (Coq, Arch Linux) CI (Coq, Arch Linux) #452: Scheduled
December 1, 2024 01:05 3h 2m 56s master
master
December 1, 2024 01:05 3h 2m 56s
Work around issue with brew and opam (#1989) CI (Coq, Arch Linux) #450: Commit a16b32f pushed by JasonGross
November 21, 2024 02:30 3h 4m 36s master
master
November 21, 2024 02:30 3h 4m 36s
[CI] [opam] [MacOS] fix kludge for pkg-conf CI (Coq, Arch Linux) #449: Commit f6ce925 pushed by JasonGross
November 20, 2024 22:04 4h 42m 56s master
master
November 20, 2024 22:04 4h 42m 56s
[CI] [opam] Work around MacOS / opam / brew issue CI (Coq, Arch Linux) #447: Commit 78208bd pushed by JasonGross
November 20, 2024 19:33 4h 48m 25s master
master
November 20, 2024 19:33 4h 48m 25s
Bump rewriter from edd0611 to 8ab716a (#1988) CI (Coq, Arch Linux) #445: Commit c97b7a1 pushed by JasonGross
November 20, 2024 19:28 4h 53m 5s master
master
November 20, 2024 19:28 4h 53m 5s
Fix wasm_of_ocaml version, hopefully (#1986) CI (Coq, Arch Linux) #441: Commit e61d78e pushed by JasonGross
November 11, 2024 08:21 3h 5m 28s master
master
November 11, 2024 08:21 3h 5m 28s
Require Import BinNat before using it in ParseArithmetic.v CI (Coq, Arch Linux) #436: Commit 9bf41bc pushed by andres-erbsen
November 3, 2024 20:29 3h 4m 25s master
master
November 3, 2024 20:29 3h 4m 25s
CI (Coq, Arch Linux) CI (Coq, Arch Linux) #434: Scheduled
November 1, 2024 00:56 3h 4m 55s master
master
November 1, 2024 00:56 3h 4m 55s
Merge pull request #1954 from andres-erbsen/CoZJoyeBedrock CI (Coq, Arch Linux) #433: Commit ee1e322 pushed by andres-erbsen
October 31, 2024 17:58 3h 7m 6s master
master
October 31, 2024 17:58 3h 7m 6s
Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 (#… CI (Coq, Arch Linux) #429: Commit 9dda471 pushed by JasonGross
October 17, 2024 01:14 2h 58m 37s master
master
October 17, 2024 01:14 2h 58m 37s
[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 (#1971) CI (Coq, Arch Linux) #421: Commit 350ff6f pushed by JasonGross
October 9, 2024 06:14 5h 16m 48s master
master
October 9, 2024 06:14 5h 16m 48s
Add CI shield for opam package to README (#1972) CI (Coq, Arch Linux) #420: Commit cf8e157 pushed by JasonGross
October 9, 2024 01:24 4h 9m 32s master
master
October 9, 2024 01:24 4h 9m 32s
CI (Coq, Arch Linux) CI (Coq, Arch Linux) #414: Scheduled
October 1, 2024 00:56 3h 1m 35s master
master
October 1, 2024 00:56 3h 1m 35s
Actually install the wasm of ocaml files CI (Coq, Arch Linux) #410: Commit 48e00c6 pushed by JasonGross
September 22, 2024 04:49 4h 21m 22s master
master
September 22, 2024 04:49 4h 21m 22s
Add support for wasm files in assets subdirectory (#1966) CI (Coq, Arch Linux) #409: Commit 025f0b8 pushed by JasonGross
September 22, 2024 04:44 3h 0m 37s master
master
September 22, 2024 04:44 3h 0m 37s
Don't sed wasm files, instead use subfolders to ensure the binary nam… CI (Coq, Arch Linux) #405: Commit 30b7261 pushed by JasonGross
September 21, 2024 02:11 5h 45m 24s master
master
September 21, 2024 02:11 5h 45m 24s
[CI] [Windows] Attempt to fix Windows CI (#1962) CI (Coq, Arch Linux) #402: Commit 9757358 pushed by JasonGross
September 21, 2024 01:09 6h 41m 55s master
master
September 21, 2024 01:09 6h 41m 55s
Attempt to fix wasm_of_ocaml (#1958) CI (Coq, Arch Linux) #399: Commit e1cc135 pushed by JasonGross
September 20, 2024 20:04 4h 32m 36s master
master
September 20, 2024 20:04 4h 32m 36s
[CI] [Windows] fix git config with bash CI (Coq, Arch Linux) #387: Commit d8b0508 pushed by JasonGross
September 20, 2024 03:52 8h 54m 49s master
master
September 20, 2024 03:52 8h 54m 49s
[CI] Adjust Windows opam config for ocaml/setup-ocaml 3 (#1939) CI (Coq, Arch Linux) #385: Commit 15f63d0 pushed by JasonGross
September 20, 2024 00:29 12h 18m 5s master
master
September 20, 2024 00:29 12h 18m 5s
Avoid error: wrong number of arguments, should be 2 in Windows opam CI CI (Coq, Arch Linux) #383: Commit 23e42a9 pushed by JasonGross
September 20, 2024 00:11 12h 15m 3s master
master
September 20, 2024 00:11 12h 15m 3s
Don't rely on CYGWIN_ROOT in opam Windows CI CI (Coq, Arch Linux) #379: Commit 0e6b3e8 pushed by JasonGross
September 19, 2024 23:49 12h 35m 1s master
master
September 19, 2024 23:49 12h 35m 1s