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
235 workflow run results
235 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to coq/coq#18273 (Ltac2 supports head reduction) (#1725) CI (Coq, docker, dev) #50: Commit 6551f87 pushed by JasonGross
November 14, 2023 07:03 6h 40m 35s master
master
November 14, 2023 07:03 6h 40m 35s
[CI] Add names to build jobs (#1729) CI (Coq, docker, dev) #49: Commit df6436e pushed by JasonGross
November 14, 2023 06:21 5h 51m 18s master
master
November 14, 2023 06:21 5h 51m 18s
Bump rewriter from 5d274d2 to 3e84ec2 (#1728) CI (Coq, docker, dev) #42: Commit d376b55 pushed by JasonGross
November 13, 2023 19:11 11h 51m 3s master
master
November 13, 2023 19:11 11h 51m 3s
Statically link alpine binaries: -ccopt -static (#1718) CI (Coq, docker, dev) #36: Commit 2315109 pushed by JasonGross
November 13, 2023 18:35 8h 12m 0s master
master
November 13, 2023 18:35 8h 12m 0s
[CI] Fix dumpbin paths CI (Coq, docker, dev) #33: Commit 80e474d pushed by JasonGross
November 13, 2023 18:32 8h 11m 52s master
master
November 13, 2023 18:32 8h 11m 52s
[CI] Upload standalone archives to releases (#1711) CI (Coq, docker, dev) #32: Commit 8b6191b pushed by JasonGross
November 13, 2023 18:30 1h 38m 59s master
master
November 13, 2023 18:30 1h 38m 59s
Only test full amd64 files in Docker CI (#1722) CI (Coq, docker, dev) #25: Commit dcd5678 pushed by JasonGross
November 13, 2023 06:13 6h 52m 36s master
master
November 13, 2023 06:13 6h 52m 36s
Adjust badges for linux workflows CI (Coq, docker, dev) #3: Commit 737aef4 pushed by JasonGross
November 12, 2023 19:32 9h 38m 33s master
master
November 12, 2023 19:32 9h 38m 33s
Fix a lingering reference from previous commit CI (Coq, docker, dev) #2: Commit a47d22d pushed by JasonGross
November 12, 2023 19:30 9h 26m 51s master
master
November 12, 2023 19:30 9h 26m 51s
Add check-all jobs for windows, mac, docker, uniformize naming CI (Coq, docker, dev) #1: Commit 77d9176 pushed by JasonGross
November 12, 2023 19:24 Startup failure master
master
November 12, 2023 19:24 Startup failure
ProTip! You can narrow down the results and go further in time using created:<2023-11-12 or the other filters available.