Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Debian)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-debian.yml
1,017 workflow runs
1,017 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate code for SM2 CI (Coq, Debian) #933: Pull request #1940 synchronize by emmansun
September 2, 2024 13:15 3h 8m 21s emmansun:master
emmansun:master
September 2, 2024 13:15 3h 8m 21s
Pin Zig to the current stable version instead of master (#1951) CI (Coq, Debian) #932: Commit 95ea54c pushed by JasonGross
September 2, 2024 11:55 3h 4m 10s master
master
September 2, 2024 11:55 3h 4m 10s
Pin Zig to the current stable version instead of master CI (Coq, Debian) #931: Pull request #1951 opened by jedisct1
September 2, 2024 08:03 3h 4m 37s jedisct1:use-zig-release
jedisct1:use-zig-release
September 2, 2024 08:03 3h 4m 37s
Bump rupicola from 941374a to d55f2d7 (#1948) CI (Coq, Debian) #928: Commit a96c4fc pushed by JasonGross
September 1, 2024 06:51 3h 2m 19s master
master
September 1, 2024 06:51 3h 2m 19s
CI (Coq, Debian) CI (Coq, Debian) #927: Scheduled
September 1, 2024 00:58 3h 4m 0s master
master
September 1, 2024 00:58 3h 4m 0s
Bump rupicola from 941374a to d55f2d7 CI (Coq, Debian) #926: Pull request #1948 synchronize by dependabot bot
August 30, 2024 06:58 3h 22m 18s dependabot/submodules/rupicola-d55f2d7
dependabot/submodules/rupicola-d55f2d7
August 30, 2024 06:58 3h 22m 18s
Generate code for SM2 CI (Coq, Debian) #925: Pull request #1940 synchronize by JasonGross
August 30, 2024 06:57 3h 3m 15s emmansun:master
emmansun:master
August 30, 2024 06:57 3h 3m 15s
[CI] [Debian] sudo work around broken git config (#1949) CI (Coq, Debian) #924: Commit 107c351 pushed by JasonGross
August 30, 2024 05:54 3h 57m 41s master
master
August 30, 2024 05:54 3h 57m 41s
[CI] [Debian] sudo work around broken git config CI (Coq, Debian) #923: Pull request #1949 opened by JasonGross
August 19, 2024 16:38 3h 2m 20s JasonGross-patch-1
JasonGross-patch-1
August 19, 2024 16:38 3h 2m 20s
[CI] [Debian] use -j1 on js-of-ocaml (#1947) CI (Coq, Debian) #922: Commit 3bf25e3 pushed by JasonGross
August 19, 2024 16:36 1h 34m 0s master
master
August 19, 2024 16:36 1h 34m 0s
Bump rupicola from 941374a to d55f2d7 CI (Coq, Debian) #921: Pull request #1948 opened by dependabot bot
August 19, 2024 16:35 37s dependabot/submodules/rupicola-d55f2d7
dependabot/submodules/rupicola-d55f2d7
August 19, 2024 16:35 37s
[CI] [Debian] use -j1 on js-of-ocaml CI (Coq, Debian) #919: Pull request #1947 opened by JasonGross
August 15, 2024 19:57 3h 2m 3s CI]-Debian]-use--j1-on-js-of-ocaml
CI]-Debian]-use--j1-on-js-of-ocaml
August 15, 2024 19:57 3h 2m 3s
Bump rupicola from 941374a to f15661d CI (Coq, Debian) #918: Pull request #1944 synchronize by JasonGross
August 15, 2024 16:25 2h 42m 18s dependabot/submodules/rupicola-f15661d
dependabot/submodules/rupicola-f15661d
August 15, 2024 16:25 2h 42m 18s
fix Debian CI (#1946) CI (Coq, Debian) #917: Commit 634f423 pushed by JasonGross
August 15, 2024 16:16 2h 42m 25s master
master
August 15, 2024 16:16 2h 42m 25s
fix Debian CI CI (Coq, Debian) #916: Pull request #1946 opened by JasonGross
August 15, 2024 09:08 1h 57m 7s debian-git-config
debian-git-config
August 15, 2024 09:08 1h 57m 7s
Bump rupicola from 941374a to f15661d CI (Coq, Debian) #915: Pull request #1944 opened by dependabot bot
August 13, 2024 08:40 1h 57m 46s dependabot/submodules/rupicola-f15661d
dependabot/submodules/rupicola-f15661d
August 13, 2024 08:40 1h 57m 46s
Bump rupicola from 941374a to f647de5 CI (Coq, Debian) #914: Pull request #1943 opened by dependabot bot
August 8, 2024 09:00 45s dependabot/submodules/rupicola-f647de5
dependabot/submodules/rupicola-f647de5
August 8, 2024 09:00 45s
Generate code for SM2 CI (Coq, Debian) #913: Pull request #1940 synchronize by emmansun
August 6, 2024 10:52 2h 47m 54s emmansun:master
emmansun:master
August 6, 2024 10:52 2h 47m 54s
Bump actions/setup-java from 4.2.1 to 4.2.2 CI (Coq, Debian) #912: Pull request #1942 opened by dependabot bot
August 6, 2024 04:59 4h 36m 55s dependabot/github_actions/actions/setup-java-4.2.2
dependabot/github_actions/actions/setup-java-4.2.2
August 6, 2024 04:59 4h 36m 55s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Debian) #910: Pull request #1939 synchronize by JasonGross
August 5, 2024 23:46 6h 28m 12s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
August 5, 2024 23:46 6h 28m 12s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Debian) #909: Pull request #1939 synchronize by JasonGross
August 5, 2024 23:46 3h 12m 54s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
August 5, 2024 23:46 3h 12m 54s
Bump windows version of ocaml in prep for moving to v3 CI (Coq, Debian) #908: Commit 8475c26 pushed by JasonGross
August 5, 2024 23:37 6h 37m 25s master
master
August 5, 2024 23:37 6h 37m 25s
[js] Set up workers earlier (#1941) CI (Coq, Debian) #907: Commit 40f5742 pushed by JasonGross
August 5, 2024 23:28 6h 45m 28s master
master
August 5, 2024 23:28 6h 45m 28s
[js] Set up workers earlier CI (Coq, Debian) #906: Pull request #1941 opened by JasonGross
August 5, 2024 23:27 6h 45m 21s JasonGross:setup-workers-early
JasonGross:setup-workers-early
August 5, 2024 23:27 6h 45m 21s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Debian) #905: Pull request #1939 synchronize by JasonGross
August 5, 2024 18:28 2h 59m 10s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
August 5, 2024 18:28 2h 59m 10s