Skip to content

Actions: LPCIC/coq-elpi

Actions

Nix CI for bundle rocq-9.1

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-rocq-9.1.yml
204 workflow runs
204 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #907 from Tragicus/rocq21180 Nix CI for bundle rocq-9.1 #204: Commit 997aa9b pushed by gares
45m 53s master
master
45m 53s
Merge pull request #913 from LPCIC/fix-create-goal Nix CI for bundle rocq-9.1 #203: Commit c2ed132 pushed by gares
47m 33s master
master
47m 33s
consider declared goals as reachable Nix CI for bundle rocq-9.1 #202: Pull request #913 opened by gares
41m 44s
41m 44s
Adapt to rocq#21180 Nix CI for bundle rocq-9.1 #201: Pull request #907 synchronize by Tragicus
35m 59s
35m 59s
Adapt to rocq#21180 Nix CI for bundle rocq-9.1 #200: Pull request #907 synchronize by Tragicus
52m 37s
52m 37s
use coq.coercion.class as the type of coercion classes Nix CI for bundle rocq-9.1 #199: Pull request #909 synchronize by gares
5m 54s
5m 54s
use coq.coercion.class as the type of coercion classes Nix CI for bundle rocq-9.1 #198: Pull request #909 synchronize by gares
5m 36s
5m 36s
use coq.coercion.class as the type of coercion classes Nix CI for bundle rocq-9.1 #197: Pull request #909 opened by gares
4m 32s
4m 32s
Test for fix type name collision Nix CI for bundle rocq-9.1 #196: Pull request #908 opened by gares
46m 29s
46m 29s
Adapt to rocq#21180 Nix CI for bundle rocq-9.1 #195: Pull request #907 opened by Tragicus
39m 27s
39m 27s
quantify over universes in build iota Nix CI for bundle rocq-9.1 #194: Pull request #904 synchronize by patrick-nicodemus
48m 56s
48m 56s
Adapt to rocq-prover/rocq#21163 (schemes attribute) Nix CI for bundle rocq-9.1 #193: Pull request #906 opened by SkySkimmer
39m 50s
39m 50s
quantify over universes in build iota Nix CI for bundle rocq-9.1 #192: Pull request #904 synchronize by patrick-nicodemus
3m 13s
3m 13s
quantify over universes in build iota Nix CI for bundle rocq-9.1 #191: Pull request #904 synchronize by patrick-nicodemus
40m 36s
40m 36s
quantify over universes in build iota Nix CI for bundle rocq-9.1 #190: Pull request #904 synchronize by patrick-nicodemus
43m 24s
43m 24s
quantify over universes in build iota Nix CI for bundle rocq-9.1 #189: Pull request #905 opened by patrick-nicodemus
13m 24s
13m 24s
quantify over universes in build iota Nix CI for bundle rocq-9.1 #188: Pull request #904 opened by patrick-nicodemus
41m 9s
41m 9s
Merge pull request #902 from ppedrot/rm-canord-structures-indmap Nix CI for bundle rocq-9.1 #187: Commit 7e121bc pushed by SkySkimmer
44m 22s master
master
44m 22s
Merge pull request #901 from tabareau/parametrize-typeclass_db- Nix CI for bundle rocq-9.1 #186: Commit 76f47f2 pushed by ppedrot
41m 35s master
master
41m 35s
Adapt to rocq-prover/rocq#21161 (parametrize typeclass interface by i… Nix CI for bundle rocq-9.1 #185: Pull request #901 synchronize by tabareau
36m 51s
36m 51s
Adapt to rocq-prover/rocq#21182. Nix CI for bundle rocq-9.1 #184: Pull request #902 opened by ppedrot
47m 33s
47m 33s
Adapt to rocq-prover/rocq#21161 (parametrize typeclass interface by i… Nix CI for bundle rocq-9.1 #183: Pull request #901 synchronize by tabareau
46m 21s
46m 21s
Adapt to rocq-prover/rocq#21161 (parametrize typeclass interface by i… Nix CI for bundle rocq-9.1 #182: Pull request #901 synchronize by tabareau
3m 25s
3m 25s
Adapt to rocq-prover/rocq#21161 (parametrize typeclass interface by i… Nix CI for bundle rocq-9.1 #181: Pull request #901 opened by tabareau
3m 18s
3m 18s
Merge pull request #898 from patrick-nicodemus/patch-6 Nix CI for bundle rocq-9.1 #180: Commit d595049 pushed by gares
12m 37s master
master
12m 37s