Skip to content

Actions: math-comp/hierarchy-builder

Actions

Nix CI for bundle coq-9.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-9.0.yml
210 workflow runs
210 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #568 from math-comp/improve-indexing Nix CI for bundle coq-9.0 #210: Commit 28f211f pushed by gares
16m 7s master
master
16m 7s
Adapt to rocq-prover/rocq#21417 Nix CI for bundle coq-9.0 #209: Pull request #569 opened by mattam82
1h 0m 8s
1h 0m 8s
improve indexing Nix CI for bundle coq-9.0 #208: Pull request #568 opened by gares
53m 10s
53m 10s
[feat] support for multiple subjects Nix CI for bundle coq-9.0 #207: Pull request #535 synchronize by gares
1m 51s
1m 51s
[feat] support for multiple subjects Nix CI for bundle coq-9.0 #206: Pull request #535 synchronize by gares
2m 48s
2m 48s
[feat] support for multiple subjects Nix CI for bundle coq-9.0 #205: Pull request #535 synchronize by gares
2m 6s
2m 6s
[feat] support for multiple subjects Nix CI for bundle coq-9.0 #204: Pull request #535 synchronize by gares
2m 54s
2m 54s
[feat] support for multiple subjects Nix CI for bundle coq-9.0 #203: Pull request #535 synchronize by gares
1m 46s
1m 46s
[feat] support for multiple subjects Nix CI for bundle coq-9.0 #202: Pull request #535 synchronize by gares
1m 57s
1m 57s
[feat] support for multiple subjects Nix CI for bundle coq-9.0 #201: Pull request #535 synchronize by gares
2m 2s
2m 2s
Merge pull request #567 from math-comp/fix-about-elpi3 Nix CI for bundle coq-9.0 #200: Commit 7fb06ce pushed by gares
16m 40s master
master
16m 40s
Fix HB.about after elpi 3.0 port Nix CI for bundle coq-9.0 #199: Pull request #567 opened by gares
1h 0m 6s
1h 0m 6s
Blacklisting HB internals names Nix CI for bundle coq-9.0 #198: Pull request #566 opened by CohenCyril
56m 35s
56m 35s
[feat] support for multiple subjects Nix CI for bundle coq-9.0 #197: Pull request #535 synchronize by gares
3m 23s
3m 23s
Pglobal (wip adapt to algebraic universes) Nix CI for bundle coq-9.0 #196: Pull request #545 synchronize by CohenCyril
4m 33s
4m 33s
Pglobal (wip adapt to algebraic universes) Nix CI for bundle coq-9.0 #195: Pull request #545 synchronize by CohenCyril
12m 39s
12m 39s
Pglobal (wip adapt to algebraic universes) Nix CI for bundle coq-9.0 #194: Pull request #545 synchronize by CohenCyril
13m 41s
13m 41s
Drop 8.20 from CI Nix CI for bundle coq-9.0 #193: Pull request #565 opened by gares
36m 44s
36m 44s
Merge pull request #564 from math-comp/saturate-export Nix CI for bundle coq-9.0 #192: Commit 062b169 pushed by gares
17m 2s master
master
17m 2s
saturate: honor #[export] Nix CI for bundle coq-9.0 #191: Pull request #564 synchronize by gares
35m 5s
35m 5s
saturate: honor #[export] Nix CI for bundle coq-9.0 #190: Pull request #564 synchronize by gares
1m 52s
1m 52s
saturate: honor #[export] Nix CI for bundle coq-9.0 #189: Pull request #564 synchronize by gares
2m 11s
2m 11s
saturate: honor #[export] Nix CI for bundle coq-9.0 #188: Pull request #564 synchronize by gares
2m 16s
2m 16s
saturate: honor #[export] Nix CI for bundle coq-9.0 #187: Pull request #564 synchronize by gares
3m 24s
3m 24s
saturate: honor #[export] Nix CI for bundle coq-9.0 #186: Pull request #564 synchronize by gares
2m 32s
2m 32s