Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, opam)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-opam-package.yml
177 workflow run results
177 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refined/Signed Barrett Reduction (#2013) CI (Coq, opam) #939: Commit 8cbd4d3 pushed by andres-erbsen
February 7, 2025 19:40 5m 57s master
master
February 7, 2025 19:40 5m 57s
Update coq-windows.yml CI (Coq, opam) #938: Commit 66b7bf5 pushed by JasonGross
February 6, 2025 20:04 1h 40m 59s master
master
February 6, 2025 20:04 1h 40m 59s
Upload *.timing files on failure (#2012) CI (Coq, opam) #937: Commit 6f9b5df pushed by JasonGross
February 5, 2025 23:37 8m 27s master
master
February 5, 2025 23:37 8m 27s
CI (Coq, opam) CI (Coq, opam) #936: Scheduled
February 1, 2025 01:24 2h 26m 7s master
master
February 1, 2025 01:24 2h 26m 7s
Remove --output-sync from build log when make fails (#2010) CI (Coq, opam) #935: Commit f47be1a pushed by JasonGross
January 31, 2025 20:53 3h 2m 25s master
master
January 31, 2025 20:53 3h 2m 25s
More opam package testing CI (Coq, opam) #934: Commit dcd3ccf pushed by JasonGross
January 28, 2025 20:02 1h 44m 36s master
master
January 28, 2025 20:02 1h 44m 36s
CI (Coq, opam) CI (Coq, opam) #933: Scheduled
January 1, 2025 01:35 1h 37m 11s master
master
January 1, 2025 01:35 1h 37m 11s
Adapt to https://github.com/coq/coq/pull/19530 (#1992) CI (Coq, opam) #932: Commit 8eccaf2 pushed by JasonGross
December 5, 2024 13:16 1h 36m 11s master
master
December 5, 2024 13:16 1h 36m 11s
drop support for macOS 12 CI (Coq, opam) #931: Commit 781d047 pushed by JasonGross
December 5, 2024 07:27 1h 36m 37s master
master
December 5, 2024 07:27 1h 36m 37s
CI (Coq, opam) CI (Coq, opam) #930: Scheduled
December 1, 2024 01:48 1h 35m 20s master
master
December 1, 2024 01:48 1h 35m 20s
Work around issue with brew and opam (#1989) CI (Coq, opam) #929: Commit a16b32f pushed by JasonGross
November 21, 2024 02:30 1h 34m 0s master
master
November 21, 2024 02:30 1h 34m 0s
[CI] [opam] [MacOS] fix kludge for pkg-conf CI (Coq, opam) #928: Commit f6ce925 pushed by JasonGross
November 20, 2024 22:04 2h 2m 51s master
master
November 20, 2024 22:04 2h 2m 51s
[CI] [opam] Work around MacOS / opam / brew issue CI (Coq, opam) #927: Commit 78208bd pushed by JasonGross
November 20, 2024 19:33 1h 56m 47s master
master
November 20, 2024 19:33 1h 56m 47s
Bump rewriter from edd0611 to 8ab716a (#1988) CI (Coq, opam) #926: Commit c97b7a1 pushed by JasonGross
November 20, 2024 19:28 1h 42m 19s master
master
November 20, 2024 19:28 1h 42m 19s
Fix wasm_of_ocaml version, hopefully (#1986) CI (Coq, opam) #925: Commit e61d78e pushed by JasonGross
November 11, 2024 08:21 1h 34m 12s master
master
November 11, 2024 08:21 1h 34m 12s
Require Import BinNat before using it in ParseArithmetic.v CI (Coq, opam) #924: Commit 9bf41bc pushed by andres-erbsen
November 3, 2024 20:29 1h 34m 28s master
master
November 3, 2024 20:29 1h 34m 28s
CI (Coq, opam) CI (Coq, opam) #923: Scheduled
November 1, 2024 01:35 1h 36m 30s master
master
November 1, 2024 01:35 1h 36m 30s
Merge pull request #1954 from andres-erbsen/CoZJoyeBedrock CI (Coq, opam) #922: Commit ee1e322 pushed by andres-erbsen
October 31, 2024 17:58 1h 42m 19s master
master
October 31, 2024 17:58 1h 42m 19s
Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 (#… CI (Coq, opam) #921: Commit 9dda471 pushed by JasonGross
October 17, 2024 01:14 1h 32m 20s master
master
October 17, 2024 01:14 1h 32m 20s
[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 (#1971) CI (Coq, opam) #920: Commit 350ff6f pushed by JasonGross
October 9, 2024 06:14 1h 38m 12s master
master
October 9, 2024 06:14 1h 38m 12s
Add CI shield for opam package to README (#1972) CI (Coq, opam) #919: Commit cf8e157 pushed by JasonGross
October 9, 2024 01:24 2h 31m 35s master
master
October 9, 2024 01:24 2h 31m 35s
CI (Coq, opam) CI (Coq, opam) #918: Scheduled
October 1, 2024 01:36 1h 35m 22s master
master
October 1, 2024 01:36 1h 35m 22s
Actually install the wasm of ocaml files CI (Coq, opam) #917: Commit 48e00c6 pushed by JasonGross
September 22, 2024 04:49 2h 1m 17s master
master
September 22, 2024 04:49 2h 1m 17s
Add support for wasm files in assets subdirectory (#1966) CI (Coq, opam) #916: Commit 025f0b8 pushed by JasonGross
September 22, 2024 04:44 1h 38m 9s master
master
September 22, 2024 04:44 1h 38m 9s
Don't sed wasm files, instead use subfolders to ensure the binary nam… CI (Coq, opam) #915: Commit 30b7261 pushed by JasonGross
September 21, 2024 02:11 2h 39m 20s master
master
September 21, 2024 02:11 2h 39m 20s