Skip to content

Actions: MetaRocq/metarocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,395 workflow runs
2,395 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ported WfUniverses MetaRocq CI #3266: Commit 37cc26e pushed by mattam82
9m 5s universes-clause-check
universes-clause-check
9m 5s
Algebraic universes everywhere Nix CI for bundle rocq-9.0 #59: Pull request #704 synchronize by mattam82
8m 35s
8m 35s
Algebraic universes everywhere MetaRocq CI #3265: Pull request #704 synchronize by mattam82
8m 49s universes-clause-check
universes-clause-check
8m 49s
WIP on univ substitution MetaRocq CI #3264: Commit 2f16fb1 pushed by mattam82
9m 0s universes-clause-check
universes-clause-check
9m 0s
github_actions in /. - Update #1143442528 Dependabot Updates #1732: by dependabot bot
40s coq-8.20
coq-8.20
40s
github_actions in /. - Update #1143440790 Dependabot Updates #1731: by dependabot bot
35s coq-8.19
coq-8.19
35s
github_actions in /. - Update #1143436770 Dependabot Updates #1730: by dependabot bot
35s coq-8.18
coq-8.18
35s
github_actions in /. - Update #1143435383 Dependabot Updates #1729: by dependabot bot
32s coq-8.17
coq-8.17
32s
github_actions in /. - Update #1143435381 Dependabot Updates #1728: by dependabot bot
34s main
main
34s
github_actions in /. - Update #1143435377 Dependabot Updates #1727: by dependabot bot
35s coq-8.16
coq-8.16
35s
github_actions in /. - Update #1143433943 Dependabot Updates #1726: by dependabot bot
34s 9.1
9.1
34s
Bump actions/checkout from 4 to 5 Nix CI for bundle rocq-dev #55: Pull request #1195 synchronize by dependabot bot
49s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
49s
Bump actions/checkout from 4 to 5 Nix CI for bundle rocq-9.1 #6: Pull request #1195 synchronize by dependabot bot
2m 36s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
2m 36s
Bump actions/checkout from 4 to 5 Nix CI for bundle rocq-9.1 #5: Pull request #1195 synchronize by dependabot bot
2m 37s
2m 37s
Bump actions/checkout from 4 to 5 Nix CI for bundle rocq-dev #54: Pull request #1195 synchronize by dependabot bot
50s
50s
Bump actions/checkout from 4 to 5 MetaRocq CI #3263: Commit c0a93c9 pushed by dependabot bot
30m 13s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
30m 13s
github_actions in / for actions/checkout - Update #1143235334 Dependabot Updates #1725: by dependabot bot
33s 9.1
9.1
33s
github_actions in /. - Update #1143235329 Dependabot Updates #1724: by dependabot bot
34s coq-8.17
coq-8.17
34s
github_actions in /. - Update #1143235332 Dependabot Updates #1723: by dependabot bot
35s coq-8.16
coq-8.16
35s
github_actions in /. - Update #1143235324 Dependabot Updates #1722: by dependabot bot
28s coq-8.18
coq-8.18
28s
github_actions in /. - Update #1143235321 Dependabot Updates #1721: by dependabot bot
29s coq-8.19
coq-8.19
29s
github_actions in /. - Update #1143235317 Dependabot Updates #1720: by dependabot bot
33s main
main
33s
github_actions in /. - Update #1143235319 Dependabot Updates #1719: by dependabot bot
35s coq-8.20
coq-8.20
35s
github_actions in /. - Update #1143235316 Dependabot Updates #1718: by dependabot bot
35s 9.1
9.1
35s
Fix opam CI workflow MetaRocq CI #3262: Commit 16fd3f8 pushed by mattam82
30m 14s 9.1
9.1
30m 14s