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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1891 from JasonGross/mac-universal CI (Coq, opam) #871: Commit 5066396 pushed by JasonGross
May 10, 2024 03:47 1h 43m 1s master
master
May 10, 2024 03:47 1h 43m 1s
Bump etc/coq-scripts from 857071d to e4d9e81 (#1896) CI (Coq, opam) #870: Commit 1368f5f pushed by JasonGross
May 9, 2024 18:39 2h 15m 34s master
master
May 9, 2024 18:39 2h 15m 34s
Allow host libc to mismatch debian container libc when testing binary… CI (Coq, opam) #869: Commit 73e5945 pushed by JasonGross
May 9, 2024 18:22 1h 43m 18s master
master
May 9, 2024 18:22 1h 43m 18s
eval opam env in describing sys config (#1895) CI (Coq, opam) #868: Commit 724035e pushed by JasonGross
May 9, 2024 09:16 5h 23m 40s master
master
May 9, 2024 09:16 5h 23m 40s
[CI] brew install grep on MacOS for ggrep (#1894) CI (Coq, opam) #867: Commit 1461a9d pushed by JasonGross
May 9, 2024 09:14 4h 32m 37s master
master
May 9, 2024 09:14 4h 32m 37s
Add ldd info to CI system config, and gcc & ldd on win CI (Coq, opam) #866: Commit c5008e7 pushed by JasonGross
May 9, 2024 04:22 1h 43m 38s master
master
May 9, 2024 04:22 1h 43m 38s
CI (Coq, opam) CI (Coq, opam) #865: Scheduled
May 1, 2024 01:09 1h 42m 56s master
master
May 1, 2024 01:09 1h 42m 56s
Update coq-opam-package.yml CI (Coq, opam) #864: Commit 2bd0653 pushed by JasonGross
April 22, 2024 21:12 3h 12m 5s master
master
April 22, 2024 21:12 3h 12m 5s
Update coq-opam-package.yml (#1889) CI (Coq, opam) #863: Commit 15526a5 pushed by JasonGross
April 22, 2024 19:10 2h 59m 51s master
master
April 22, 2024 19:10 2h 59m 51s
Remove likely-unneeded GH_TOKEN from publish.yml CI (Coq, opam) #862: Commit fd03a44 pushed by JasonGross
April 22, 2024 14:02 4h 42m 3s master
master
April 22, 2024 14:02 4h 42m 3s
Fix permissions in publish.yml CI (Coq, opam) #861: Commit d0b10c2 pushed by JasonGross
April 22, 2024 13:59 3h 15m 38s master
master
April 22, 2024 13:59 3h 15m 38s
Automated Rust Crate Version Bump: Mon Apr 22 13:35:04 UTC 2024 5563f… CI (Coq, opam) #860: Commit 49650c5 pushed by JasonGross
April 22, 2024 13:56 1h 22m 56s master
master
April 22, 2024 13:56 1h 22m 56s
Adapt w.r.t. coq/coq#18909. (#1881) CI (Coq, opam) #859: Commit 7125be2 pushed by andres-erbsen
April 18, 2024 14:35 1h 47m 59s master
master
April 18, 2024 14:35 1h 47m 59s
[CI] use container instead of chroot for Debian (#1878) CI (Coq, opam) #858: Commit d92e208 pushed by JasonGross
April 17, 2024 15:28 4h 31m 0s master
master
April 17, 2024 15:28 4h 31m 0s
Use gsed on MacOS CI (#1875) CI (Coq, opam) #857: Commit 74932cc pushed by JasonGross
April 17, 2024 15:27 2h 52m 7s master
master
April 17, 2024 15:27 2h 52m 7s
Attempt to clean up MacOS CI yml a bit (#1874) CI (Coq, opam) #856: Commit 3ca0d52 pushed by JasonGross
April 17, 2024 15:25 1h 44m 34s master
master
April 17, 2024 15:25 1h 44m 34s
Stagger dependabot update times (#1868) CI (Coq, opam) #855: Commit e2d96b8 pushed by andres-erbsen
April 17, 2024 10:37 2h 20m 3s master
master
April 17, 2024 10:37 2h 20m 3s
Update coq-debian.yml (#1877) CI (Coq, opam) #854: Commit 6bce0ff pushed by JasonGross
April 17, 2024 00:10 7h 4m 15s master
master
April 17, 2024 00:10 7h 4m 15s
Add gnu-sed on mac CI (Coq, opam) #853: Commit cff8b9c pushed by JasonGross
April 16, 2024 18:48 7h 9m 25s master
master
April 16, 2024 18:48 7h 9m 25s
A bit more info in various CIs CI (Coq, opam) #852: Commit de044e4 pushed by JasonGross
April 16, 2024 18:14 4h 47m 49s master
master
April 16, 2024 18:14 4h 47m 49s
Hopefully better windows CI printing CI (Coq, opam) #851: Commit 542732f pushed by JasonGross
April 16, 2024 17:50 3h 34m 34s master
master
April 16, 2024 17:50 3h 34m 34s
Adapt w.r.t. coq/coq#18895. (#1866) CI (Coq, opam) #850: Commit 08103e4 pushed by andres-erbsen
April 16, 2024 17:19 1h 42m 42s master
master
April 16, 2024 17:19 1h 42m 42s
Create describe-system-config-win.ps1 (#1865) CI (Coq, opam) #849: Commit 7fb4b21 pushed by JasonGross
April 16, 2024 11:15 1h 40m 30s master
master
April 16, 2024 11:15 1h 40m 30s
remove Bvector (#1864) CI (Coq, opam) #848: Commit 6cb80fb pushed by andres-erbsen
April 16, 2024 10:19 1h 38m 34s master
master
April 16, 2024 10:19 1h 38m 34s
Fix syntax in github-actions-record-coq-info.sh CI (Coq, opam) #847: Commit 7ec76f9 pushed by andres-erbsen
April 16, 2024 04:54 1h 38m 38s master
master
April 16, 2024 04:54 1h 38m 38s