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

Bump rupicola from 941374a to f647de5 CI (Coq, Arch Linux) #331: Pull request #1943 opened by dependabot bot
August 8, 2024 09:00 3h 4m 50s dependabot/submodules/rupicola-f647de5
dependabot/submodules/rupicola-f647de5
August 8, 2024 09:00 3h 4m 50s
Generate code for SM2 CI (Coq, Arch Linux) #330: Pull request #1940 synchronize by emmansun
August 6, 2024 10:52 3h 7m 9s emmansun:master
emmansun:master
August 6, 2024 10:52 3h 7m 9s
Bump actions/setup-java from 4.2.1 to 4.2.2 CI (Coq, Arch Linux) #329: Pull request #1942 opened by dependabot bot
August 6, 2024 04:59 4h 24m 57s dependabot/github_actions/actions/setup-java-4.2.2
dependabot/github_actions/actions/setup-java-4.2.2
August 6, 2024 04:59 4h 24m 57s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Arch Linux) #327: Pull request #1939 synchronize by JasonGross
August 5, 2024 23:46 6h 57m 56s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
August 5, 2024 23:46 6h 57m 56s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Arch Linux) #326: Pull request #1939 synchronize by JasonGross
August 5, 2024 23:46 3h 12m 48s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
August 5, 2024 23:46 3h 12m 48s
Bump windows version of ocaml in prep for moving to v3 CI (Coq, Arch Linux) #325: Commit 8475c26 pushed by JasonGross
August 5, 2024 23:37 7h 6m 11s master
master
August 5, 2024 23:37 7h 6m 11s
[js] Set up workers earlier (#1941) CI (Coq, Arch Linux) #324: Commit 40f5742 pushed by JasonGross
August 5, 2024 23:28 6h 45m 34s master
master
August 5, 2024 23:28 6h 45m 34s
[js] Set up workers earlier CI (Coq, Arch Linux) #323: Pull request #1941 opened by JasonGross
August 5, 2024 23:27 6h 46m 37s JasonGross:setup-workers-early
JasonGross:setup-workers-early
August 5, 2024 23:27 6h 46m 37s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Arch Linux) #322: Pull request #1939 synchronize by JasonGross
August 5, 2024 18:28 3h 5m 10s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
August 5, 2024 18:28 3h 5m 10s
Generate code for SM2 CI (Coq, Arch Linux) #321: Pull request #1940 opened by emmansun
August 1, 2024 05:25 6h 57m 23s emmansun:master
emmansun:master
August 1, 2024 05:25 6h 57m 23s
CI (Coq, Arch Linux) CI (Coq, Arch Linux) #320: Scheduled
August 1, 2024 00:50 3h 2m 34s master
master
August 1, 2024 00:50 3h 2m 34s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Arch Linux) #319: Pull request #1939 synchronize by JasonGross
July 31, 2024 08:47 3h 1m 14s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 31, 2024 08:47 3h 1m 14s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Arch Linux) #318: Pull request #1939 opened by dependabot bot
July 31, 2024 04:36 3h 44m 13s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 31, 2024 04:36 3h 44m 13s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Arch Linux) #317: Pull request #1925 synchronize by JasonGross
July 30, 2024 16:51 3h 17m 24s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 30, 2024 16:51 3h 17m 24s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Arch Linux) #316: Pull request #1925 synchronize by dependabot bot
July 30, 2024 16:50 22m 33s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 30, 2024 16:50 22m 33s
Bump rewriter from 2315c27 to 19f344b CI (Coq, Arch Linux) #315: Pull request #1937 synchronize by JasonGross
July 30, 2024 16:46 3h 8m 8s dependabot/submodules/rewriter-19f344b
dependabot/submodules/rewriter-19f344b
July 30, 2024 16:46 3h 8m 8s
use python-is-python3 (#1938) CI (Coq, Arch Linux) #314: Commit 49faca9 pushed by JasonGross
July 30, 2024 13:23 3h 0m 59s master
master
July 30, 2024 13:23 3h 0m 59s
[CI] [Windows] Bump to OCaml 4.13.1 (#1936) CI (Coq, Arch Linux) #313: Commit 3683c2c pushed by JasonGross
July 30, 2024 08:49 4h 6m 42s master
master
July 30, 2024 08:49 4h 6m 42s
use python-is-python3 CI (Coq, Arch Linux) #312: Pull request #1938 opened by JasonGross
July 30, 2024 08:47 3h 2m 3s JasonGross-patch-1
JasonGross-patch-1
July 30, 2024 08:47 3h 2m 3s
Bump rewriter from 2315c27 to 19f344b CI (Coq, Arch Linux) #311: Pull request #1937 opened by dependabot bot
July 30, 2024 08:13 3h 1m 48s dependabot/submodules/rewriter-19f344b
dependabot/submodules/rewriter-19f344b
July 30, 2024 08:13 3h 1m 48s
[CI] [Windows] Bump to OCaml 4.13.1 CI (Coq, Arch Linux) #310: Pull request #1936 opened by JasonGross
July 30, 2024 01:27 3h 0m 52s ci-win-ocaml-4.13
ci-win-ocaml-4.13
July 30, 2024 01:27 3h 0m 52s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Arch Linux) #309: Pull request #1925 synchronize by JasonGross
July 29, 2024 22:30 3h 0m 54s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 29, 2024 22:30 3h 0m 54s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Arch Linux) #308: Pull request #1925 synchronize by JasonGross
July 29, 2024 21:43 48m 22s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 29, 2024 21:43 48m 22s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Arch Linux) #307: Pull request #1925 synchronize by JasonGross
July 29, 2024 21:31 12m 50s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 29, 2024 21:31 12m 50s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Arch Linux) #306: Pull request #1925 synchronize by JasonGross
July 29, 2024 21:30 1m 57s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 29, 2024 21:30 1m 57s