Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Arch Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-archlinux.yml
327 workflow run results
327 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt w.r.t. coq/coq#19228. (#1934) CI (Coq, Arch Linux) #305: Commit 15d4aa0 pushed by andres-erbsen
July 29, 2024 12:05 3h 4m 10s master
master
July 29, 2024 12:05 3h 4m 10s
Bump rewriter from edcec73 to 2315c27 CI (Coq, Arch Linux) #304: Pull request #1935 opened by dependabot bot
July 29, 2024 08:46 3h 3m 7s dependabot/submodules/rewriter-2315c27
dependabot/submodules/rewriter-2315c27
July 29, 2024 08:46 3h 3m 7s
Adapt w.r.t. coq/coq#19228. CI (Coq, Arch Linux) #303: Pull request #1934 opened by ppedrot
July 28, 2024 21:11 2h 58m 24s ppedrot:template-no-sup-constraints
ppedrot:template-no-sup-constraints
July 28, 2024 21:11 2h 58m 24s
Bump rupicola from faef55d to 941374a CI (Coq, Arch Linux) #302: Pull request #1932 opened by dependabot bot
July 17, 2024 08:31 3h 2m 34s dependabot/submodules/rupicola-941374a
dependabot/submodules/rupicola-941374a
July 17, 2024 08:31 3h 2m 34s
Bump rupicola from 0a93e26 to faef55d CI (Coq, Arch Linux) #301: Pull request #1931 opened by dependabot bot
July 16, 2024 08:36 2h 59m 17s dependabot/submodules/rupicola-faef55d
dependabot/submodules/rupicola-faef55d
July 16, 2024 08:36 2h 59m 17s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Arch Linux) #300: Pull request #1925 synchronize by JasonGross
July 13, 2024 18:00 2h 59m 58s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 13, 2024 18:00 2h 59m 58s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Arch Linux) #299: Pull request #1925 synchronize by JasonGross
July 8, 2024 17:24 6h 21m 19s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 8, 2024 17:24 6h 21m 19s
Bump rupicola from 71a5a07 to 0a93e26 CI (Coq, Arch Linux) #298: Pull request #1926 synchronize by JasonGross
July 8, 2024 17:23 6h 1m 39s dependabot/submodules/rupicola-0a93e26
dependabot/submodules/rupicola-0a93e26
July 8, 2024 17:23 6h 1m 39s
Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 CI (Coq, Arch Linux) #297: Pull request #1927 synchronize by JasonGross
July 8, 2024 17:23 6h 1m 24s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
July 8, 2024 17:23 6h 1m 24s
[CI] macOS 11 is no longer available on GHA (#1928) CI (Coq, Arch Linux) #296: Commit 8a89005 pushed by JasonGross
July 8, 2024 17:23 5h 59m 22s master
master
July 8, 2024 17:23 5h 59m 22s
[CI] macOS 11 is no longer available on GHA CI (Coq, Arch Linux) #295: Pull request #1928 opened by JasonGross
July 8, 2024 17:21 3h 34m 39s JasonGross-patch-1
JasonGross-patch-1
July 8, 2024 17:21 3h 34m 39s
Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 CI (Coq, Arch Linux) #294: Pull request #1927 opened by dependabot bot
July 8, 2024 04:56 3h 0m 46s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
July 8, 2024 04:56 3h 0m 46s
Bump rupicola from 71a5a07 to 0a93e26 CI (Coq, Arch Linux) #293: Pull request #1926 opened by dependabot bot
July 4, 2024 08:31 3h 0m 37s dependabot/submodules/rupicola-0a93e26
dependabot/submodules/rupicola-0a93e26
July 4, 2024 08:31 3h 0m 37s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Arch Linux) #292: Pull request #1925 opened by dependabot bot
July 2, 2024 04:25 3h 2m 48s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 2, 2024 04:25 3h 2m 48s
CI (Coq, Arch Linux) CI (Coq, Arch Linux) #291: Scheduled
July 1, 2024 00:49 3m 36s master
master
July 1, 2024 00:49 3m 36s
[CI] [debian] Containerize testing of standalone (#1924) CI (Coq, Arch Linux) #290: Commit c48e39d pushed by JasonGross
June 18, 2024 04:08 3h 0m 39s master
master
June 18, 2024 04:08 3h 0m 39s
[CI] [debian] Containerize testing of standalone CI (Coq, Arch Linux) #289: Pull request #1924 synchronize by JasonGross
June 17, 2024 23:32 3h 36m 56s debian-containers-more
debian-containers-more
June 17, 2024 23:32 3h 36m 56s
Bump rewriter from 9dd74a9 to edcec73 (#1918) CI (Coq, Arch Linux) #288: Commit da18c98 pushed by JasonGross
June 17, 2024 23:31 2h 59m 39s master
master
June 17, 2024 23:31 2h 59m 39s
[CI] [debian] Containerize testing of standalone CI (Coq, Arch Linux) #287: Pull request #1924 synchronize by JasonGross
June 17, 2024 23:19 52m 43s debian-containers-more
debian-containers-more
June 17, 2024 23:19 52m 43s
[CI] [debian] Containerize testing of standalone CI (Coq, Arch Linux) #286: Pull request #1924 opened by JasonGross
June 12, 2024 03:34 4h 14m 37s debian-containers-more
debian-containers-more
June 12, 2024 03:34 4h 14m 37s
[CI] [TEST] Pin lighter js_of_ocaml CI (Coq, Arch Linux) #285: Pull request #1923 opened by JasonGross
June 12, 2024 03:26 3h 28m 41s js_of_ocaml-optim_sourcemap_link
js_of_ocaml-optim_sourcemap_link
June 12, 2024 03:26 3h 28m 41s
[CI] [TEST] Pin faster js_of_ocaml CI (Coq, Arch Linux) #284: Pull request #1922 opened by JasonGross
June 12, 2024 03:18 3h 35m 40s js_of_ocaml-speedup
js_of_ocaml-speedup
June 12, 2024 03:18 3h 35m 40s
Bump rupicola from e4eb40b to 71a5a07 (#1921) CI (Coq, Arch Linux) #283: Commit 7ff747f pushed by andres-erbsen
June 11, 2024 14:45 3h 0m 56s master
master
June 11, 2024 14:45 3h 0m 56s
Bump rupicola from e4eb40b to 71a5a07 CI (Coq, Arch Linux) #282: Pull request #1921 opened by dependabot bot
June 11, 2024 08:56 2h 59m 0s dependabot/submodules/rupicola-71a5a07
dependabot/submodules/rupicola-71a5a07
June 11, 2024 08:56 2h 59m 0s
Bump rupicola from dc1e8f3 to e4eb40b CI (Coq, Arch Linux) #281: Pull request #1920 opened by dependabot bot
June 6, 2024 08:45 3h 4m 42s dependabot/submodules/rupicola-e4eb40b
dependabot/submodules/rupicola-e4eb40b
June 6, 2024 08:45 3h 4m 42s