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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable implicit suffix rules in submakefiles (#1902) CI (Coq, docker, dev) #562: Commit 8360733 pushed by JasonGross
May 10, 2024 17:09 7h 9m 38s master
master
May 10, 2024 17:09 7h 9m 38s
Bump rewriter from b1e8367 to 9dd74a9 (#1904) CI (Coq, docker, dev) #561: Commit d70c5eb pushed by JasonGross
May 10, 2024 12:25 11h 4m 2s master
master
May 10, 2024 12:25 11h 4m 2s
Reuse docker images for validate job (#1901) CI (Coq, docker, dev) #558: Commit ca96927 pushed by JasonGross
May 10, 2024 06:23 15h 10m 7s master
master
May 10, 2024 06:23 15h 10m 7s
More compact windows CI file (#1869) CI (Coq, docker, dev) #557: Commit 58c442a pushed by JasonGross
May 10, 2024 05:43 15h 44m 2s master
master
May 10, 2024 05:43 15h 44m 2s
[CI] Use {upload,download}-artifact@v4 in MacOS (#1899) CI (Coq, docker, dev) #554: Commit 8699e77 pushed by JasonGross
May 10, 2024 05:28 11h 36m 26s master
master
May 10, 2024 05:28 11h 36m 26s
Merge pull request #1891 from JasonGross/mac-universal CI (Coq, docker, dev) #552: Commit 5066396 pushed by JasonGross
May 10, 2024 03:47 13h 9m 48s master
master
May 10, 2024 03:47 13h 9m 48s
Bump etc/coq-scripts from 857071d to e4d9e81 (#1896) CI (Coq, docker, dev) #543: Commit 1368f5f pushed by JasonGross
May 9, 2024 18:39 6h 38m 13s master
master
May 9, 2024 18:39 6h 38m 13s
Allow host libc to mismatch debian container libc when testing binary… CI (Coq, docker, dev) #542: Commit 73e5945 pushed by JasonGross
May 9, 2024 18:22 5h 56m 5s master
master
May 9, 2024 18:22 5h 56m 5s
eval opam env in describing sys config (#1895) CI (Coq, docker, dev) #539: Commit 724035e pushed by JasonGross
May 9, 2024 09:16 10h 28m 48s master
master
May 9, 2024 09:16 10h 28m 48s
[CI] brew install grep on MacOS for ggrep (#1894) CI (Coq, docker, dev) #538: Commit 1461a9d pushed by JasonGross
May 9, 2024 09:14 9h 24m 49s master
master
May 9, 2024 09:14 9h 24m 49s
Add ldd info to CI system config, and gcc & ldd on win CI (Coq, docker, dev) #531: Commit c5008e7 pushed by JasonGross
May 9, 2024 04:22 10h 21m 43s master
master
May 9, 2024 04:22 10h 21m 43s
CI (Coq, docker, dev) CI (Coq, docker, dev) #526: Scheduled
May 1, 2024 00:47 4h 3m 50s master
master
May 1, 2024 00:47 4h 3m 50s
Update coq-opam-package.yml CI (Coq, docker, dev) #525: Commit 2bd0653 pushed by JasonGross
April 22, 2024 21:12 5h 54m 19s master
master
April 22, 2024 21:12 5h 54m 19s
Update coq-opam-package.yml (#1889) CI (Coq, docker, dev) #524: Commit 15526a5 pushed by JasonGross
April 22, 2024 19:10 7h 9m 1s master
master
April 22, 2024 19:10 7h 9m 1s
Remove likely-unneeded GH_TOKEN from publish.yml CI (Coq, docker, dev) #521: Commit fd03a44 pushed by JasonGross
April 22, 2024 14:02 10h 2m 31s master
master
April 22, 2024 14:02 10h 2m 31s
Fix permissions in publish.yml CI (Coq, docker, dev) #520: Commit d0b10c2 pushed by JasonGross
April 22, 2024 13:59 9h 18m 1s master
master
April 22, 2024 13:59 9h 18m 1s
Automated Rust Crate Version Bump: Mon Apr 22 13:35:04 UTC 2024 5563f… CI (Coq, docker, dev) #519: Commit 49650c5 pushed by JasonGross
April 22, 2024 13:56 9h 19m 48s master
master
April 22, 2024 13:56 9h 19m 48s
Adapt w.r.t. coq/coq#18909. (#1881) CI (Coq, docker, dev) #514: Commit 7125be2 pushed by andres-erbsen
April 18, 2024 14:35 4h 4m 52s master
master
April 18, 2024 14:35 4h 4m 52s
[CI] use container instead of chroot for Debian (#1878) CI (Coq, docker, dev) #510: Commit d92e208 pushed by JasonGross
April 17, 2024 15:28 7h 13m 52s master
master
April 17, 2024 15:28 7h 13m 52s
Use gsed on MacOS CI (#1875) CI (Coq, docker, dev) #509: Commit 74932cc pushed by JasonGross
April 17, 2024 15:27 6h 31m 41s master
master
April 17, 2024 15:27 6h 31m 41s
Attempt to clean up MacOS CI yml a bit (#1874) CI (Coq, docker, dev) #508: Commit 3ca0d52 pushed by JasonGross
April 17, 2024 15:25 6h 17m 22s master
master
April 17, 2024 15:25 6h 17m 22s
Stagger dependabot update times (#1868) CI (Coq, docker, dev) #505: Commit e2d96b8 pushed by andres-erbsen
April 17, 2024 10:37 8h 29m 54s master
master
April 17, 2024 10:37 8h 29m 54s
Update coq-debian.yml (#1877) CI (Coq, docker, dev) #497: Commit 6bce0ff pushed by JasonGross
April 17, 2024 00:10 14h 5m 25s master
master
April 17, 2024 00:10 14h 5m 25s
Add gnu-sed on mac CI (Coq, docker, dev) #492: Commit cff8b9c pushed by JasonGross
April 16, 2024 18:48 18h 39m 27s master
master
April 16, 2024 18:48 18h 39m 27s
A bit more info in various CIs CI (Coq, docker, dev) #488: Commit de044e4 pushed by JasonGross
April 16, 2024 18:14 16h 24m 36s master
master
April 16, 2024 18:14 16h 24m 36s