Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Alpine)

Actions

Loading...

Show workflow options

Create status badge

coq-alpine.yml
654 workflow runs
654 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
[Non-Mac] Switch to {upload,download}-artifact@v4 CI (Coq, Alpine) #608: Pull request #1898 opened by JasonGross
May 9, 2024 21:46 4h 14m 47s JasonGross:upload-download-v4-nonmac
JasonGross:upload-download-v4-nonmac
May 9, 2024 21:46 4h 14m 47s
Build universal (x86_64+arm64) binaries for MacOS CI (Coq, Alpine) #607: Pull request #1891 synchronize by JasonGross
May 9, 2024 21:42 1h 15m 22s JasonGross:mac-universal
JasonGross:mac-universal
May 9, 2024 21:42 1h 15m 22s
Build universal (x86_64+arm64) binaries for MacOS CI (Coq, Alpine) #606: Pull request #1891 synchronize by JasonGross
May 9, 2024 20:54 51m 36s JasonGross:mac-universal
JasonGross:mac-universal
May 9, 2024 20:54 51m 36s
Build universal (x86_64+arm64) binaries for MacOS CI (Coq, Alpine) #605: Pull request #1891 synchronize by JasonGross
May 9, 2024 20:48 35m 47s JasonGross:mac-universal
JasonGross:mac-universal
May 9, 2024 20:48 35m 47s
Bump etc/coq-scripts from 857071d to e4d9e81 (#1896) CI (Coq, Alpine) #604: Commit 1368f5f pushed by JasonGross
May 9, 2024 18:39 6h 50m 34s master
master
May 9, 2024 18:39 6h 50m 34s
Allow host libc to mismatch debian container libc when testing binary… CI (Coq, Alpine) #603: Commit 73e5945 pushed by JasonGross
May 9, 2024 18:22 3h 25m 44s master
master
May 9, 2024 18:22 3h 25m 44s
More compact windows CI file CI (Coq, Alpine) #602: Pull request #1869 synchronize by JasonGross
May 9, 2024 11:09 6h 57m 10s JasonGross:windows-more-compact
JasonGross:windows-more-compact
May 9, 2024 11:09 6h 57m 10s
More compact windows CI file CI (Coq, Alpine) #601: Pull request #1869 synchronize by JasonGross
May 9, 2024 11:09 3h 57m 56s JasonGross:windows-more-compact
JasonGross:windows-more-compact
May 9, 2024 11:09 3h 57m 56s
eval opam env in describing sys config (#1895) CI (Coq, Alpine) #600: Commit 724035e pushed by JasonGross
May 9, 2024 09:16 8h 12m 32s master
master
May 9, 2024 09:16 8h 12m 32s
[CI] brew install grep on MacOS for ggrep (#1894) CI (Coq, Alpine) #599: Commit 1461a9d pushed by JasonGross
May 9, 2024 09:14 7h 53m 8s master
master
May 9, 2024 09:14 7h 53m 8s
Allow host libc to mismatch debian container libc when testing binary CI (Coq, Alpine) #598: Pull request #1893 synchronize by JasonGross
May 9, 2024 09:12 7h 41m 18s JasonGross:old-ubuntu-sid
JasonGross:old-ubuntu-sid
May 9, 2024 09:12 7h 41m 18s
Bump etc/coq-scripts from 857071d to e4d9e81 CI (Coq, Alpine) #597: Pull request #1896 opened by dependabot bot
May 9, 2024 08:59 7h 40m 57s dependabot/submodules/etc/coq-scripts-e4d9e81
dependabot/submodules/etc/coq-scripts-e4d9e81
May 9, 2024 08:59 7h 40m 57s
Build universal (x86_64+arm64) binaries for MacOS CI (Coq, Alpine) #596: Pull request #1891 synchronize by JasonGross
May 9, 2024 05:18 10h 49m 53s JasonGross:mac-universal
JasonGross:mac-universal
May 9, 2024 05:18 10h 49m 53s
eval opam env in describing sys config CI (Coq, Alpine) #595: Pull request #1895 opened by JasonGross
May 9, 2024 05:09 10h 56m 50s JasonGross:eval-opam-env-sys-describe
JasonGross:eval-opam-env-sys-describe
May 9, 2024 05:09 10h 56m 50s
[CI] brew install grep on MacOS for ggrep CI (Coq, Alpine) #594: Pull request #1894 opened by JasonGross
May 9, 2024 04:41 9h 41m 58s JasonGross:mac-ggrep
JasonGross:mac-ggrep
May 9, 2024 04:41 9h 41m 58s
Allow host libc to mismatch debian container libc when testing binary CI (Coq, Alpine) #593: Pull request #1893 opened by JasonGross
May 9, 2024 04:25 6h 23m 1s JasonGross:old-ubuntu-sid
JasonGross:old-ubuntu-sid
May 9, 2024 04:25 6h 23m 1s
Add ldd info to CI system config, and gcc & ldd on win CI (Coq, Alpine) #592: Commit c5008e7 pushed by JasonGross
May 9, 2024 04:22 6h 7m 54s master
master
May 9, 2024 04:22 6h 7m 54s
Build universal (x86_64+arm64) binaries for MacOS CI (Coq, Alpine) #591: Pull request #1891 synchronize by JasonGross
May 7, 2024 18:37 3h 6m 16s JasonGross:mac-universal
JasonGross:mac-universal
May 7, 2024 18:37 3h 6m 16s
Build universal (x86_64+arm64) binaries for MacOS CI (Coq, Alpine) #590: Pull request #1891 synchronize by JasonGross
May 7, 2024 17:53 45m 1s JasonGross:mac-universal
JasonGross:mac-universal
May 7, 2024 17:53 45m 1s
Build universal (x86_64+arm64) binaries for MacOS CI (Coq, Alpine) #589: Pull request #1891 opened by JasonGross
May 7, 2024 17:44 9m 53s JasonGross:mac-universal
JasonGross:mac-universal
May 7, 2024 17:44 9m 53s
Bedrock2 End2End field and co-Z operations for secp256k1 CI (Coq, Alpine) #588: Pull request #1890 opened by atrieu
May 2, 2024 15:24 1h 45m 33s atrieu:CoZJoyeBedrock
atrieu:CoZJoyeBedrock
May 2, 2024 15:24 1h 45m 33s
CI (Coq, Alpine) CI (Coq, Alpine) #587: Scheduled
May 1, 2024 01:01 3h 5m 5s master
master
May 1, 2024 01:01 3h 5m 5s
Update coq-opam-package.yml CI (Coq, Alpine) #586: Commit 2bd0653 pushed by JasonGross
April 22, 2024 21:12 4h 51m 52s master
master
April 22, 2024 21:12 4h 51m 52s
Update coq-opam-package.yml (#1889) CI (Coq, Alpine) #585: Commit 15526a5 pushed by JasonGross
April 22, 2024 19:10 4h 58m 50s master
master
April 22, 2024 19:10 4h 58m 50s
Update coq-opam-package.yml CI (Coq, Alpine) #584: Pull request #1889 opened by JasonGross
April 22, 2024 19:08 4h 56m 48s JasonGross-patch-1
JasonGross-patch-1
April 22, 2024 19:08 4h 56m 48s