Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Alpine)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-alpine.yml
816 workflow runs
816 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Also install .wasm.map files CI (Coq, Alpine) #633: Pull request #1908 opened by JasonGross
May 13, 2024 03:38 6m 47s JasonGross:install-wasm-map
JasonGross:install-wasm-map
May 13, 2024 03:38 6m 47s
Fiat Cryptography v0.1.4 CI (Coq, Alpine) #632: Release v0.1.4 published by JasonGross
May 12, 2024 22:29 3h 4m 34s
May 12, 2024 22:29 3h 4m 34s
[CI] Remove dead code (#1903) CI (Coq, Alpine) #631: Commit b739724 pushed by JasonGross
May 12, 2024 20:57 3h 3m 47s master
master
May 12, 2024 20:57 3h 3m 47s
[CI] Try saving docker image from inside docker CI (Coq, Alpine) #630: Pull request #1906 opened by JasonGross
May 12, 2024 17:02 3h 4m 16s JasonGross-patch-2
JasonGross-patch-2
May 12, 2024 17:02 3h 4m 16s
[CI] Remove dead code CI (Coq, Alpine) #629: Pull request #1903 synchronize by JasonGross
May 12, 2024 16:59 3h 3m 53s JasonGross-patch-1
JasonGross-patch-1
May 12, 2024 16:59 3h 3m 53s
[CI] Simplify docker image saving a bit more CI (Coq, Alpine) #628: Pull request #1905 opened by JasonGross
May 12, 2024 16:59 7m 43s JasonGross-patch-2
JasonGross-patch-2
May 12, 2024 16:59 7m 43s
[CI] Remove dead code CI (Coq, Alpine) #627: Pull request #1903 synchronize by JasonGross
May 10, 2024 20:25 4h 42m 40s JasonGross-patch-1
JasonGross-patch-1
May 10, 2024 20:25 4h 42m 40s
[Non-Mac] Switch to {upload,download}-artifact@v4 (#1898) CI (Coq, Alpine) #626: Commit b2c4e31 pushed by JasonGross
May 10, 2024 17:12 6h 35m 40s master
master
May 10, 2024 17:12 6h 35m 40s
[Non-Mac] Switch to {upload,download}-artifact@v4 CI (Coq, Alpine) #625: Pull request #1898 synchronize by JasonGross
May 10, 2024 17:12 5h 42m 49s JasonGross:upload-download-v4-nonmac
JasonGross:upload-download-v4-nonmac
May 10, 2024 17:12 5h 42m 49s
Disable implicit suffix rules in submakefiles (#1902) CI (Coq, Alpine) #624: Commit 8360733 pushed by JasonGross
May 10, 2024 17:09 5h 43m 29s master
master
May 10, 2024 17:09 5h 43m 29s
Bump rewriter from b1e8367 to 9dd74a9 (#1904) CI (Coq, Alpine) #623: Commit d70c5eb pushed by JasonGross
May 10, 2024 12:25 10h 8m 57s master
master
May 10, 2024 12:25 10h 8m 57s
Bump rewriter from b1e8367 to 9dd74a9 CI (Coq, Alpine) #622: Pull request #1904 opened by dependabot bot
May 10, 2024 08:10 8h 58m 46s dependabot/submodules/rewriter-9dd74a9
dependabot/submodules/rewriter-9dd74a9
May 10, 2024 08:10 8h 58m 46s
[CI] Remove dead code CI (Coq, Alpine) #621: Pull request #1903 opened by JasonGross
May 10, 2024 07:22 9h 45m 47s JasonGross-patch-1
JasonGross-patch-1
May 10, 2024 07:22 9h 45m 47s
Reuse docker images for validate job (#1901) CI (Coq, Alpine) #620: Commit ca96927 pushed by JasonGross
May 10, 2024 06:23 10h 43m 56s master
master
May 10, 2024 06:23 10h 43m 56s
More compact windows CI file (#1869) CI (Coq, Alpine) #619: Commit 58c442a pushed by JasonGross
May 10, 2024 05:43 11h 20m 30s master
master
May 10, 2024 05:43 11h 20m 30s
[Non-Mac] Switch to {upload,download}-artifact@v4 CI (Coq, Alpine) #618: Pull request #1898 synchronize by JasonGross
May 10, 2024 05:42 11h 18m 28s JasonGross:upload-download-v4-nonmac
JasonGross:upload-download-v4-nonmac
May 10, 2024 05:42 11h 18m 28s
Disable implicit suffix rules in submakefiles CI (Coq, Alpine) #617: Pull request #1902 opened by JasonGross
May 10, 2024 05:40 11h 16m 54s JasonGross:no-suffixes
JasonGross:no-suffixes
May 10, 2024 05:40 11h 16m 54s
[CI] Use {upload,download}-artifact@v4 in MacOS (#1899) CI (Coq, Alpine) #616: Commit 8699e77 pushed by JasonGross
May 10, 2024 05:28 11h 19m 13s master
master
May 10, 2024 05:28 11h 19m 13s
[CI] Use {upload,download}-artifact@v4 in MacOS CI (Coq, Alpine) #615: Pull request #1899 synchronize by JasonGross
May 10, 2024 05:27 4h 49m 46s JasonGross:upload-download-v4-mac
JasonGross:upload-download-v4-mac
May 10, 2024 05:27 4h 49m 46s
Merge pull request #1891 from JasonGross/mac-universal CI (Coq, Alpine) #614: Commit 5066396 pushed by JasonGross
May 10, 2024 03:47 12h 10m 53s master
master
May 10, 2024 03:47 12h 10m 53s
Reuse docker images for validate job CI (Coq, Alpine) #613: Pull request #1901 synchronize by JasonGross
May 10, 2024 00:32 3h 56m 21s JasonGross:better-docker
JasonGross:better-docker
May 10, 2024 00:32 3h 56m 21s
Reuse docker images for validate job CI (Coq, Alpine) #612: Pull request #1901 synchronize by JasonGross
May 9, 2024 22:58 2h 39m 7s JasonGross:better-docker
JasonGross:better-docker
May 9, 2024 22:58 2h 39m 7s
Reuse docker images for validate job CI (Coq, Alpine) #611: Pull request #1901 opened by JasonGross
May 9, 2024 22:57 1h 35m 20s JasonGross:better-docker
JasonGross:better-docker
May 9, 2024 22:57 1h 35m 20s
[CI] Use {upload,download}-artifact@v4 in MacOS CI (Coq, Alpine) #610: Pull request #1899 opened by JasonGross
May 9, 2024 21:50 4h 21m 54s JasonGross:upload-download-v4-mac
JasonGross:upload-download-v4-mac
May 9, 2024 21:50 4h 21m 54s
Build universal (x86_64+arm64) binaries for MacOS CI (Coq, Alpine) #609: Pull request #1891 synchronize by JasonGross
May 9, 2024 21:48 4h 15m 28s JasonGross:mac-universal
JasonGross:mac-universal
May 9, 2024 21:48 4h 15m 28s