Skip to content

Actions: MetaRocq/metarocq

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to rocq-prover/rocq#21669 (evaluable_of_global_reference no env arg) MetaRocq CI #3392: Pull request #1242 opened by SkySkimmer
13m 1s SkySkimmer:eval-ref
SkySkimmer:eval-ref
13m 1s
Adapt to rocq-prover/rocq#21669 (evaluable_of_global_reference no env arg) Nix CI for bundle rocq-dev #108: Pull request #1242 opened by SkySkimmer
38m 46s
38m 46s
[experiment] Use ext-lib monads Nix CI for bundle rocq-dev #107: Pull request #1241 synchronize by 4ever2
35m 9s 4ever2:extlib
4ever2:extlib
35m 9s
[experiment] Use ext-lib monads Nix CI for bundle rocq-9.1 #28: Pull request #1241 synchronize by 4ever2
33m 9s 4ever2:extlib
4ever2:extlib
33m 9s
[experiment] Use ext-lib monads Nix CI for bundle rocq-9.1 #27: Pull request #1241 synchronize by 4ever2
36m 43s
36m 43s
[experiment] Use ext-lib monads MetaRocq CI #3391: Pull request #1241 opened by 4ever2
30m 23s 4ever2:extlib
4ever2:extlib
30m 23s
[experiment] Use ext-lib monads Nix CI for bundle rocq-dev #106: Pull request #1241 opened by 4ever2
13m 18s 4ever2:extlib
4ever2:extlib
13m 18s
[experiment] Use ext-lib monads Nix CI for bundle rocq-9.1 #26: Pull request #1241 opened by 4ever2
33m 0s 4ever2:extlib
4ever2:extlib
33m 0s
[experiment] Use ext-lib monads Nix CI for bundle rocq-9.1 #25: Pull request #1241 opened by 4ever2
34m 5s
34m 5s
Merge pull request #1240 from SkySkimmer/match-style Nix CI for bundle rocq-dev #105: Commit 598ec5a pushed by ppedrot
36m 15s main
main
36m 15s
Merge pull request #1240 from SkySkimmer/match-style MetaRocq CI #3390: Commit 598ec5a pushed by ppedrot
29m 4s main
main
29m 4s
Adapt to rocq-prover/rocq#21646 (RegularStyle := MatchStyle) MetaRocq CI #3389: Pull request #1240 opened by SkySkimmer
29m 54s SkySkimmer:match-style
SkySkimmer:match-style
29m 54s
Adapt to rocq-prover/rocq#21646 (RegularStyle := MatchStyle) Nix CI for bundle rocq-dev #104: Pull request #1240 opened by SkySkimmer
7m 36s
7m 36s
Merge pull request #1239 from mattam82/9.0-remap-mutual-block Nix CI for bundle rocq-9.0 #84: Commit efb65d2 pushed by mattam82
31m 47s 9.0
9.0
31m 47s
Merge pull request #1239 from mattam82/9.0-remap-mutual-block MetaRocq CI #3388: Commit efb65d2 pushed by mattam82
30m 16s 9.0
9.0
30m 16s
Remap not just one inductive but whole blocks at a time. MetaRocq CI #3387: Pull request #1239 opened by mattam82
30m 17s mattam82:9.0-remap-mutual-block
mattam82:9.0-remap-mutual-block
30m 17s
github_actions in /. - Update #1246789151 Dependabot Updates #2308: by dependabot bot
33s coq-8.20
coq-8.20
33s
github_actions in /. - Update #1246788563 Dependabot Updates #2307: by dependabot bot
28s coq-8.19
coq-8.19
28s
github_actions in /. - Update #1246787477 Dependabot Updates #2306: by dependabot bot
32s coq-8.18
coq-8.18
32s
github_actions in /. - Update #1246787139 Dependabot Updates #2305: by dependabot bot
26s coq-8.16
coq-8.16
26s
github_actions in /. - Update #1246787138 Dependabot Updates #2304: by dependabot bot
27s coq-8.17
coq-8.17
27s
github_actions in /. - Update #1246787142 Dependabot Updates #2303: by dependabot bot
34s main
main
34s
github_actions in /. - Update #1246786891 Dependabot Updates #2302: by dependabot bot
25s 9.1
9.1
25s
github_actions in /. - Update #1245750303 Dependabot Updates #2301: by dependabot bot
25s coq-8.20
coq-8.20
25s
github_actions in /. - Update #1245749744 Dependabot Updates #2300: by dependabot bot
30s coq-8.19
coq-8.19
30s