Skip to content

Actions: mit-plv/fiat

Actions

CI (Coq, docker)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq.yml
36 workflow runs
36 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Adapt to https://github.com/rocq-prover/rocq/pull/21947 (#131) CI (Coq, docker) #279: Commit 39ab663 pushed by JasonGross
16m 33s master
master
16m 33s
Adapt to https://github.com/rocq-prover/rocq/pull/21947 CI (Coq, docker) #278: Pull request #131 opened by proux01
6m 15s proux01:rocq21947
proux01:rocq21947
6m 15s
Adapt to https://github.com/rocq-prover/rocq/pull/21851 (#129) CI (Coq, docker) #277: Commit c71438e pushed by JasonGross
1h 20m 11s master
master
1h 20m 11s
Adapt to https://github.com/rocq-prover/rocq/pull/21851 CI (Coq, docker) #276: Pull request #129 synchronize by proux01
6m 26s proux01:rocq21851
proux01:rocq21851
6m 26s
Adapt to https://github.com/rocq-prover/rocq/pull/21851 CI (Coq, docker) #275: Pull request #129 synchronize by JasonGross
6m 8s proux01:rocq21851
proux01:rocq21851
6m 8s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 (#130) CI (Coq, docker) #274: Commit 8f575b7 pushed by JasonGross
8m 0s master
master
8m 0s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 CI (Coq, docker) #273: Pull request #130 synchronize by proux01
6m 29s proux01:rocq21849
proux01:rocq21849
6m 29s
Bump actions/checkout from 5 to 6 (#126) CI (Coq, docker) #272: Commit 096e354 pushed by JasonGross
6m 31s master
master
6m 31s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 CI (Coq, docker) #271: Pull request #130 opened by proux01
6m 36s proux01:rocq21849
proux01:rocq21849
6m 36s
Adapt to https://github.com/rocq-prover/rocq/pull/21851 CI (Coq, docker) #270: Pull request #129 opened by proux01
6m 2s proux01:rocq21851
proux01:rocq21851
6m 2s
Adapt to rocq-prover/rocq#21833. (#128) CI (Coq, docker) #269: Commit 07749eb pushed by JasonGross
6m 50s master
master
6m 50s
Adapt to rocq-prover/rocq#21833. CI (Coq, docker) #268: Pull request #128 opened by ppedrot
6m 55s ppedrot:rm-non-global-hint
ppedrot:rm-non-global-hint
6m 55s
Adapt to https://github.com/rocq-prover/rocq/pull/21478 (#127) CI (Coq, docker) #267: Commit 6320c52 pushed by JasonGross
6m 48s master
master
6m 48s
Adapt to https://github.com/rocq-prover/rocq/pull/21478 CI (Coq, docker) #266: Pull request #127 opened by proux01
6m 52s proux01:rocq21478
proux01:rocq21478
6m 52s
Bump actions/checkout from 5 to 6 CI (Coq, docker) #265: Pull request #126 opened by dependabot Bot
6m 52s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
6m 52s
Adapt to rocq-prover/rocq#21129. (#125) CI (Coq, docker) #264: Commit c171d6d pushed by JasonGross
6m 52s master
master
6m 52s
Adapt to rocq-prover/rocq#21129. CI (Coq, docker) #263: Pull request #125 opened by ppedrot
6m 47s ppedrot:intuition-stop-using-auto-with-star
ppedrot:intuition-stop-using-auto-with-star
6m 47s
Bump actions/checkout from 4 to 5 (#124) CI (Coq, docker) #262: Commit 46b749b pushed by JasonGross
6m 49s master
master
6m 49s
Bump actions/checkout from 4 to 5 CI (Coq, docker) #261: Pull request #124 opened by dependabot Bot
6m 56s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
6m 56s
Adapt to rocq-prover/rocq#20781. (#123) CI (Coq, docker) #260: Commit 360e62d pushed by JasonGross
6m 53s master
master
6m 53s
Adapt to rocq-prover/rocq#20781. CI (Coq, docker) #259: Pull request #123 synchronize by JasonGross
6m 50s ppedrot:hints-remove-hint-ref
ppedrot:hints-remove-hint-ref
6m 50s
Test Rocq 9.0 on CI (#122) CI (Coq, docker) #258: Commit 98e9061 pushed by JasonGross
7m 1s master
master
7m 1s
Adapt to rocq-prover/rocq#20781. CI (Coq, docker) #257: Pull request #123 opened by ppedrot
6m 52s ppedrot:hints-remove-hint-ref
ppedrot:hints-remove-hint-ref
6m 52s
Test Rocq 9.0 on CI CI (Coq, docker) #256: Pull request #122 synchronize by JasonGross
6m 53s test-9.0
test-9.0
6m 53s
Test Rocq 9.0 on CI CI (Coq, docker) #255: Pull request #122 synchronize by JasonGross
6m 58s test-9.0
test-9.0
6m 58s