Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, docker, dev)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
78 workflow run results
78 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove RupicolaCrypto.Low CI (Coq, docker, dev) #880: Commit 9d982d2 pushed by andres-erbsen
November 12, 2023 09:03 9h 54m 28s master
master
November 12, 2023 09:03 9h 54m 28s
Allow passing CAMLEXTRAFLAGS for standalone build (#1717) CI (Coq, docker, dev) #879: Commit 98356db pushed by JasonGross
November 12, 2023 08:45 7h 33m 54s master
master
November 12, 2023 08:45 7h 33m 54s
Add packaging for standalone files (#1710) CI (Coq, docker, dev) #878: Commit f0c9395 pushed by JasonGross
November 12, 2023 06:57 7h 43m 3s master
master
November 12, 2023 06:57 7h 43m 3s
Model coq-alpine after coq-debian (#1712) CI (Coq, docker, dev) #868: Commit 47379ed pushed by JasonGross
November 11, 2023 22:29 8h 27m 47s master
master
November 11, 2023 22:29 8h 27m 47s
Update coq-windows.yml CI (Coq, docker, dev) #866: Commit bce9e1c pushed by JasonGross
November 11, 2023 10:23 5h 8m 40s master
master
November 11, 2023 10:23 5h 8m 40s
Update coq-windows.yml to echo build params better hopefully CI (Coq, docker, dev) #865: Commit a456d3b pushed by JasonGross
November 11, 2023 10:21 12h 27m 53s master
master
November 11, 2023 10:21 12h 27m 53s
Update describe-system-config.sh CI (Coq, docker, dev) #864: Commit 5f9487c pushed by JasonGross
November 11, 2023 10:19 11h 20m 54s master
master
November 11, 2023 10:19 11h 20m 54s
Slightly better describe-system-config CI (Coq, docker, dev) #860: Commit 2b0b55c pushed by JasonGross
November 11, 2023 06:05 12h 3m 25s master
master
November 11, 2023 06:05 12h 3m 25s
Make etc/ci/describe-system-config.sh POSIX-compliant (#1715) CI (Coq, docker, dev) #859: Commit 5200386 pushed by JasonGross
November 11, 2023 05:52 13h 14m 20s master
master
November 11, 2023 05:52 13h 14m 20s
POSIX-compliant github-actions-display-per-line-timing.sh (#1716) CI (Coq, docker, dev) #857: Commit 2beaa25 pushed by JasonGross
November 10, 2023 23:28 14h 47m 47s master
master
November 10, 2023 23:28 14h 47m 47s
Bump actions/checkout from 3 to 4 (#1714) CI (Coq, docker, dev) #856: Commit ebace1b pushed by dependabot bot
November 10, 2023 23:27 8h 58m 30s master
master
November 10, 2023 23:27 8h 58m 30s
Adapt to coq/coq#18280 (case relevance outside case info) (#1713) CI (Coq, docker, dev) #849: Commit f45602a pushed by JasonGross
November 10, 2023 19:13 7h 29m 21s master
master
November 10, 2023 19:13 7h 29m 21s
Add alpine-check-all for easier branch protection CI (Coq, docker, dev) #841: Commit 2bec35f pushed by JasonGross
November 10, 2023 05:13 6h 39m 24s master
master
November 10, 2023 05:13 6h 39m 24s
add Alpine CI (#1625) CI (Coq, docker, dev) #835: Commit 06d5b70 pushed by JasonGross
November 10, 2023 04:46 7h 45m 53s master
master
November 10, 2023 04:46 7h 45m 53s
Bump rupicola from 0e001bb to 3691f9a (#1709) CI (Coq, docker, dev) #834: Commit cc0c10c pushed by dependabot bot
November 10, 2023 01:38 6h 42m 7s master
master
November 10, 2023 01:38 6h 42m 7s
Drop CI testing of 8.16 (#1708) CI (Coq, docker, dev) #824: Commit 1097f58 pushed by JasonGross
November 9, 2023 19:05 6h 17m 42s master
master
November 9, 2023 19:05 6h 17m 42s
[CI] [opam] Try to fix outdated opam repos CI (Coq, docker, dev) #821: Commit b255107 pushed by JasonGross
November 9, 2023 06:23 9h 27m 18s master
master
November 9, 2023 06:23 9h 27m 18s
[CI] [opam] Use opam depext CI (Coq, docker, dev) #819: Commit 03d4e06 pushed by JasonGross
November 9, 2023 05:52 8h 41m 30s master
master
November 9, 2023 05:52 8h 41m 30s
Also test 8.18 on opam CI (Coq, docker, dev) #816: Commit 7d64e77 pushed by JasonGross
November 9, 2023 05:10 6h 41m 52s master
master
November 9, 2023 05:10 6h 41m 52s
[CI] Add debian-check-all for easier branch protection CI (Coq, docker, dev) #813: Commit 4986a73 pushed by JasonGross
November 8, 2023 23:52 7h 7m 21s master
master
November 8, 2023 23:52 7h 7m 21s
Rust Crate Version Bump (#1707) CI (Coq, docker, dev) #810: Commit 101c960 pushed by JasonGross
November 8, 2023 23:47 5h 10m 20s master
master
November 8, 2023 23:47 5h 10m 20s
Bump rewriter from 5e74224 to 5d274d2 (#1704) CI (Coq, docker, dev) #809: Commit 3aafcfd pushed by dependabot bot
November 8, 2023 15:43 6h 30m 26s master
master
November 8, 2023 15:43 6h 30m 26s
Bump etc/coq-scripts from 2df5dbe to d3dc888 (#1701) CI (Coq, docker, dev) #808: Commit 98a56ab pushed by dependabot bot
November 8, 2023 15:03 5h 42m 46s master
master
November 8, 2023 15:03 5h 42m 46s
Merge pull request #1705 from mit-plv/dependabot/submodules/rupicola-… CI (Coq, docker, dev) #805: Commit 74d8be5 pushed by JasonGross
November 8, 2023 07:02 6h 9m 32s master
master
November 8, 2023 07:02 6h 9m 32s
[CI] Add merge_group: trigger for merge queue (#1706) CI (Coq, docker, dev) #800: Commit f3b4041 pushed by JasonGross
November 7, 2023 20:58 12m 28s master
master
November 7, 2023 20:58 12m 28s