Skip to content

Actions: JasonGross/fiat-crypto

Actions

CI (Coq, Alpine)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-alpine.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 CI (Coq, Alpine) #31: Pull request #64 opened by dependabot bot
October 1, 2024 05:01 2h 56m 57s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
October 1, 2024 05:01 2h 56m 57s
CI (Coq, Alpine) CI (Coq, Alpine) #30: Scheduled
October 1, 2024 00:46 2h 56m 8s master
master
October 1, 2024 00:46 2h 56m 8s
Bump rupicola from d55f2d7 to e7771d9 (#1968) CI (Coq, Alpine) #29: Commit 3b30a35 pushed by JasonGross
September 30, 2024 18:41 2h 53m 44s master
master
September 30, 2024 18:41 2h 53m 44s
Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 CI (Coq, Alpine) #28: Pull request #63 opened by dependabot bot
September 30, 2024 04:09 3h 0m 41s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
September 30, 2024 04:09 3h 0m 41s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #27: Pull request #62 opened by dependabot bot
September 6, 2024 04:22 2h 54m 47s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 6, 2024 04:22 2h 54m 47s
Merge pull request #1953 from andres-erbsen/weier2 CI (Coq, Alpine) #26: Commit d3af796 pushed by JasonGross
September 5, 2024 08:32 4h 24m 3s master
master
September 5, 2024 08:32 4h 24m 3s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, Alpine) #25: Pull request #61 opened by dependabot bot
September 5, 2024 04:47 2h 50m 23s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 5, 2024 04:47 2h 50m 23s
Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4 CI (Coq, Alpine) #24: Pull request #60 opened by dependabot bot
September 4, 2024 04:57 2h 58m 36s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.4
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.4
September 4, 2024 04:57 2h 58m 36s
Pin Zig to the current stable version instead of master (#1951) CI (Coq, Alpine) #23: Commit 95ea54c pushed by JasonGross
September 3, 2024 07:26 5h 9m 0s master
master
September 3, 2024 07:26 5h 9m 0s
Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4 CI (Coq, Alpine) #22: Pull request #59 opened by dependabot bot
September 3, 2024 04:06 3h 0m 56s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.4
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.4
September 3, 2024 04:06 3h 0m 56s
CI (Coq, Alpine) CI (Coq, Alpine) #21: Scheduled
September 1, 2024 00:47 2h 59m 22s master
master
September 1, 2024 00:47 2h 59m 22s
Bump windows version of ocaml in prep for moving to v3 CI (Coq, Alpine) #20: Commit 8475c26 pushed by JasonGross
August 5, 2024 23:37 8h 49m 38s master
master
August 5, 2024 23:37 8h 49m 38s
CI (Coq, Alpine) CI (Coq, Alpine) #19: Scheduled
August 1, 2024 01:42 21m 25s master
master
August 1, 2024 01:42 21m 25s
CI (Coq, Alpine) CI (Coq, Alpine) #18: Scheduled
July 1, 2024 01:41 21m 7s master
master
July 1, 2024 01:41 21m 7s
CI (Coq, Alpine) CI (Coq, Alpine) #17: Scheduled
June 1, 2024 01:33 21m 47s master
master
June 1, 2024 01:33 21m 47s
CI (Coq, Alpine) CI (Coq, Alpine) #16: Scheduled
May 1, 2024 01:24 21m 31s master
master
May 1, 2024 01:24 21m 31s
CI (Coq, Alpine) CI (Coq, Alpine) #15: Scheduled
April 1, 2024 01:23 22m 1s master
master
April 1, 2024 01:23 22m 1s
CI (Coq, Alpine) CI (Coq, Alpine) #14: Scheduled
March 1, 2024 01:21 21m 37s master
master
March 1, 2024 01:21 21m 37s
CI (Coq, Alpine) CI (Coq, Alpine) #13: Scheduled
February 1, 2024 01:20 1h 54m 10s master
master
February 1, 2024 01:20 1h 54m 10s
Bump ammaraskar/gcc-problem-matcher from 0.2.0 to 0.3.0 CI (Coq, Alpine) #12: Pull request #55 opened by dependabot bot
January 25, 2024 22:35 2h 51m 29s dependabot/github_actions/ammaraskar/gcc-problem-matcher-0.3.0
dependabot/github_actions/ammaraskar/gcc-problem-matcher-0.3.0
January 25, 2024 22:35 2h 51m 29s
CI (Coq, Alpine) CI (Coq, Alpine) #11: Scheduled
January 1, 2024 01:33 2h 51m 11s master
master
January 1, 2024 01:33 2h 51m 11s
Bump actions/upload-artifact from 3 to 4 CI (Coq, Alpine) #10: Pull request #54 opened by dependabot bot
December 14, 2023 22:17 11h 32m 21s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
December 14, 2023 22:17 11h 32m 21s
Bump actions/download-artifact from 3 to 4 CI (Coq, Alpine) #9: Pull request #53 opened by dependabot bot
December 14, 2023 22:17 11h 32m 31s dependabot/github_actions/actions/download-artifact-4
dependabot/github_actions/actions/download-artifact-4
December 14, 2023 22:17 11h 32m 31s
Bump actions/setup-python from 4 to 5 CI (Coq, Alpine) #8: Pull request #52 opened by dependabot bot
December 6, 2023 22:51 5h 35m 16s dependabot/github_actions/actions/setup-python-5
dependabot/github_actions/actions/setup-python-5
December 6, 2023 22:51 5h 35m 16s
CI (Coq, Alpine) CI (Coq, Alpine) #7: Scheduled
December 1, 2023 01:33 3h 47m 27s master
master
December 1, 2023 01:33 3h 47m 27s