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

fix Debian CI CI (Coq, Alpine) #709: Pull request #1946 opened by JasonGross
August 15, 2024 09:08 3h 0m 26s debian-git-config
debian-git-config
August 15, 2024 09:08 3h 0m 26s
Bump rupicola from 941374a to f15661d CI (Coq, Alpine) #708: Pull request #1944 opened by dependabot bot
August 13, 2024 08:40 2h 59m 49s dependabot/submodules/rupicola-f15661d
dependabot/submodules/rupicola-f15661d
August 13, 2024 08:40 2h 59m 49s
Bump rupicola from 941374a to f647de5 CI (Coq, Alpine) #707: Pull request #1943 opened by dependabot bot
August 8, 2024 09:00 2h 55m 31s dependabot/submodules/rupicola-f647de5
dependabot/submodules/rupicola-f647de5
August 8, 2024 09:00 2h 55m 31s
Generate code for SM2 CI (Coq, Alpine) #706: Pull request #1940 synchronize by emmansun
August 6, 2024 10:52 3h 6m 51s emmansun:master
emmansun:master
August 6, 2024 10:52 3h 6m 51s
Bump actions/setup-java from 4.2.1 to 4.2.2 CI (Coq, Alpine) #705: Pull request #1942 opened by dependabot bot
August 6, 2024 04:59 4h 23m 32s dependabot/github_actions/actions/setup-java-4.2.2
dependabot/github_actions/actions/setup-java-4.2.2
August 6, 2024 04:59 4h 23m 32s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #703: Pull request #1939 synchronize by JasonGross
August 5, 2024 23:46 6h 57m 38s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
August 5, 2024 23:46 6h 57m 38s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #702: Pull request #1939 synchronize by JasonGross
August 5, 2024 23:46 3h 12m 39s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
August 5, 2024 23:46 3h 12m 39s
Bump windows version of ocaml in prep for moving to v3 CI (Coq, Alpine) #701: Commit 8475c26 pushed by JasonGross
August 5, 2024 23:37 7h 6m 48s master
master
August 5, 2024 23:37 7h 6m 48s
[js] Set up workers earlier (#1941) CI (Coq, Alpine) #700: Commit 40f5742 pushed by JasonGross
August 5, 2024 23:28 7h 14m 8s master
master
August 5, 2024 23:28 7h 14m 8s
[js] Set up workers earlier CI (Coq, Alpine) #699: Pull request #1941 opened by JasonGross
August 5, 2024 23:27 6h 46m 34s JasonGross:setup-workers-early
JasonGross:setup-workers-early
August 5, 2024 23:27 6h 46m 34s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #698: Pull request #1939 synchronize by JasonGross
August 5, 2024 18:28 3h 3m 7s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
August 5, 2024 18:28 3h 3m 7s
Generate code for SM2 CI (Coq, Alpine) #697: Pull request #1940 opened by emmansun
August 1, 2024 05:25 6h 57m 32s emmansun:master
emmansun:master
August 1, 2024 05:25 6h 57m 32s
CI (Coq, Alpine) CI (Coq, Alpine) #696: Scheduled
August 1, 2024 01:09 2h 58m 43s master
master
August 1, 2024 01:09 2h 58m 43s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #695: Pull request #1939 synchronize by JasonGross
July 31, 2024 08:47 3h 2m 38s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 31, 2024 08:47 3h 2m 38s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #694: Pull request #1939 opened by dependabot bot
July 31, 2024 04:36 2h 58m 53s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 31, 2024 04:36 2h 58m 53s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #693: Pull request #1925 synchronize by JasonGross
July 30, 2024 16:51 3h 6m 26s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 30, 2024 16:51 3h 6m 26s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #692: Pull request #1925 synchronize by dependabot bot
July 30, 2024 16:50 18m 47s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 30, 2024 16:50 18m 47s
Bump rewriter from 2315c27 to 19f344b CI (Coq, Alpine) #691: Pull request #1937 synchronize by JasonGross
July 30, 2024 16:46 3h 0m 56s dependabot/submodules/rewriter-19f344b
dependabot/submodules/rewriter-19f344b
July 30, 2024 16:46 3h 0m 56s
use python-is-python3 (#1938) CI (Coq, Alpine) #690: Commit 49faca9 pushed by JasonGross
July 30, 2024 13:23 3h 2m 18s master
master
July 30, 2024 13:23 3h 2m 18s
[CI] [Windows] Bump to OCaml 4.13.1 (#1936) CI (Coq, Alpine) #689: Commit 3683c2c pushed by JasonGross
July 30, 2024 08:49 4h 24m 11s master
master
July 30, 2024 08:49 4h 24m 11s
use python-is-python3 CI (Coq, Alpine) #688: Pull request #1938 opened by JasonGross
July 30, 2024 08:47 3h 4m 45s JasonGross-patch-1
JasonGross-patch-1
July 30, 2024 08:47 3h 4m 45s
Bump rewriter from 2315c27 to 19f344b CI (Coq, Alpine) #687: Pull request #1937 opened by dependabot bot
July 30, 2024 08:13 3h 1m 24s dependabot/submodules/rewriter-19f344b
dependabot/submodules/rewriter-19f344b
July 30, 2024 08:13 3h 1m 24s
[CI] [Windows] Bump to OCaml 4.13.1 CI (Coq, Alpine) #686: Pull request #1936 opened by JasonGross
July 30, 2024 01:27 2h 57m 49s ci-win-ocaml-4.13
ci-win-ocaml-4.13
July 30, 2024 01:27 2h 57m 49s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #685: Pull request #1925 synchronize by JasonGross
July 29, 2024 22:30 3h 1m 23s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 29, 2024 22:30 3h 1m 23s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #684: Pull request #1925 synchronize by JasonGross
July 29, 2024 21:43 48m 33s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
July 29, 2024 21:43 48m 33s