Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Alpine)

Actions

Loading...

Show workflow options

Create status badge

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Make build.zig files compatible with newly released zig 0.12 CI (Coq, Alpine) #642: Pull request #1913 synchronize by jedisct1
May 18, 2024 08:26 3h 3m 45s jedisct1:zig0.12
jedisct1:zig0.12
May 18, 2024 08:26 3h 3m 45s
Make build.zig files compatible with newly released zig 0.12 CI (Coq, Alpine) #641: Pull request #1913 opened by jedisct1
May 18, 2024 08:24 2m 38s jedisct1:zig0.12
jedisct1:zig0.12
May 18, 2024 08:24 2m 38s
Bump rupicola from a85c012 to dc1e8f3 (#1911) CI (Coq, Alpine) #640: Commit 2f00603 pushed by JasonGross
May 18, 2024 05:58 3h 8m 10s master
master
May 18, 2024 05:58 3h 8m 10s
Bump rupicola from a85c012 to dc1e8f3 CI (Coq, Alpine) #639: Pull request #1911 opened by dependabot bot
May 15, 2024 08:55 6h 35m 43s dependabot/submodules/rupicola-dc1e8f3
dependabot/submodules/rupicola-dc1e8f3
May 15, 2024 08:55 6h 35m 43s
Rust Crate Version Bump CI (Coq, Alpine) #638: Pull request #1907 synchronize by JasonGross
May 15, 2024 08:55 5h 27m 49s rust-crate-version-bump-6ed6a4ca4
rust-crate-version-bump-6ed6a4ca4
May 15, 2024 08:55 5h 27m 49s
Automated Rust Crate Version Bump: Sun May 12 22:29:35 UTC 2024 b7397… CI (Coq, Alpine) #637: Commit ffc5e91 pushed by JasonGross
May 15, 2024 08:53 5h 25m 26s master
master
May 15, 2024 08:53 5h 25m 26s
Also install .wasm.map files (#1908) CI (Coq, Alpine) #636: Commit 861b506 pushed by JasonGross
May 15, 2024 08:52 5h 10m 54s master
master
May 15, 2024 08:52 5h 10m 54s
Bump actions/cache from 3 to 4 CI (Coq, Alpine) #635: Pull request #1910 opened by dependabot bot
May 13, 2024 04:37 3h 4m 11s dependabot/github_actions/actions/cache-4
dependabot/github_actions/actions/cache-4
May 13, 2024 04:37 3h 4m 11s
Also install .wasm.map files CI (Coq, Alpine) #634: Pull request #1908 synchronize by JasonGross
May 13, 2024 03:44 34s JasonGross:install-wasm-map
JasonGross:install-wasm-map
May 13, 2024 03:44 34s
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