Skip to content

Actions: JasonGross/fiat-crypto

Actions

CI (Coq, docker, dev)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-docker.yml
47 workflow runs
47 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, docker, dev) #38: Pull request #64 opened by dependabot bot
October 1, 2024 05:01 3h 49m 50s 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 3h 49m 50s
CI (Coq, docker, dev) CI (Coq, docker, dev) #37: Scheduled
October 1, 2024 01:15 3h 44m 0s master
master
October 1, 2024 01:15 3h 44m 0s
Bump rupicola from d55f2d7 to e7771d9 (#1968) CI (Coq, docker, dev) #36: Commit 3b30a35 pushed by JasonGross
September 30, 2024 18:41 3h 43m 21s master
master
September 30, 2024 18:41 3h 43m 21s
Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 CI (Coq, docker, dev) #35: Pull request #63 opened by dependabot bot
September 30, 2024 04:09 3h 43m 40s 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 43m 40s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, docker, dev) #34: Pull request #62 opened by dependabot bot
September 6, 2024 04:22 4h 29m 44s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 6, 2024 04:22 4h 29m 44s
Merge pull request #1953 from andres-erbsen/weier2 CI (Coq, docker, dev) #33: Commit d3af796 pushed by JasonGross
September 5, 2024 08:32 5h 39m 13s master
master
September 5, 2024 08:32 5h 39m 13s
Bump ocaml/setup-ocaml from 2 to 3 CI (Coq, docker, dev) #32: Pull request #61 opened by dependabot bot
September 5, 2024 04:47 5h 26m 42s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 5, 2024 04:47 5h 26m 42s
Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4 CI (Coq, docker, dev) #31: Pull request #60 opened by dependabot bot
September 4, 2024 04:57 4h 40m 17s 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 4h 40m 17s
Pin Zig to the current stable version instead of master (#1951) CI (Coq, docker, dev) #30: Commit 95ea54c pushed by JasonGross
September 3, 2024 07:26 5h 9m 58s master
master
September 3, 2024 07:26 5h 9m 58s
Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4 CI (Coq, docker, dev) #29: Pull request #59 opened by dependabot bot
September 3, 2024 04:06 3h 45m 42s 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 45m 42s
CI (Coq, docker, dev) CI (Coq, docker, dev) #28: Scheduled
September 1, 2024 01:14 3h 42m 25s master
master
September 1, 2024 01:14 3h 42m 25s
Bump windows version of ocaml in prep for moving to v3 CI (Coq, docker, dev) #27: Commit 8475c26 pushed by JasonGross
August 5, 2024 23:37 12h 18m 33s master
master
August 5, 2024 23:37 12h 18m 33s
CI (Coq, docker, dev) CI (Coq, docker, dev) #26: Scheduled
August 1, 2024 01:10 2m 49s master
master
August 1, 2024 01:10 2m 49s
CI (Coq, docker, dev) CI (Coq, docker, dev) #25: Scheduled
July 1, 2024 01:09 2m 29s master
master
July 1, 2024 01:09 2m 29s
CI (Coq, docker, dev) CI (Coq, docker, dev) #24: Scheduled
June 1, 2024 01:04 2m 50s master
master
June 1, 2024 01:04 2m 50s
Reuse docker images for validate job CI (Coq, docker, dev) #23: Commit e8f3e18 pushed by JasonGross
May 9, 2024 22:58 Failure better-docker
better-docker
May 9, 2024 22:58 Failure
Reuse docker images for validate job CI (Coq, docker, dev) #22: Commit 62b8fe8 pushed by JasonGross
May 9, 2024 22:56 Failure better-docker
better-docker
May 9, 2024 22:56 Failure
CI (Coq, docker, dev) CI (Coq, docker, dev) #21: Scheduled
May 1, 2024 01:01 2m 43s master
master
May 1, 2024 01:01 2m 43s
CI (Coq, docker, dev) CI (Coq, docker, dev) #20: Scheduled
April 1, 2024 01:01 2m 39s master
master
April 1, 2024 01:01 2m 39s
CI (Coq, docker, dev) CI (Coq, docker, dev) #19: Scheduled
March 1, 2024 01:00 2m 21s master
master
March 1, 2024 01:00 2m 21s
CI (Coq, docker, dev) CI (Coq, docker, dev) #18: Scheduled
February 1, 2024 00:57 1h 56m 12s master
master
February 1, 2024 00:57 1h 56m 12s
Bump ammaraskar/gcc-problem-matcher from 0.2.0 to 0.3.0 CI (Coq, docker, dev) #17: Pull request #55 opened by dependabot bot
January 25, 2024 22:35 19m 51s 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 19m 51s