Skip to content

Actions: LPCIC/coq-elpi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,445 workflow runs
4,445 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test for fix type name collision DOC #1886: Pull request #908 opened by gares
7m 37s fix-detcheck-resolution
fix-detcheck-resolution
7m 37s
Test for fix type name collision CI #477: Pull request #908 opened by gares
5m 30s fix-detcheck-resolution
fix-detcheck-resolution
5m 30s
Test for fix type name collision Nix CI for bundle coq-master #1114: Pull request #908 opened by gares
3m 22s
3m 22s
Test for fix type name collision Nix CI for bundle rocq-9.0 #522: Pull request #908 opened by gares
44m 58s
44m 58s
Test for fix type name collision Nix CI for bundle rocq-9.1 #196: Pull request #908 opened by gares
46m 29s
46m 29s
Test for fix type name collision Nix CI for bundle coq-8.20 #861: Pull request #908 opened by gares
10m 39s
10m 39s
Adapt to rocq#21180 CI #476: Pull request #907 opened by Tragicus
5m 57s Tragicus:rocq21180
Tragicus:rocq21180
5m 57s
Adapt to rocq#21180 DOC #1885: Pull request #907 opened by Tragicus
7m 24s Tragicus:rocq21180
Tragicus:rocq21180
7m 24s
Adapt to rocq#21180 Nix CI for bundle rocq-9.1 #195: Pull request #907 opened by Tragicus
39m 27s
39m 27s
Adapt to rocq#21180 Nix CI for bundle rocq-9.0 #521: Pull request #907 opened by Tragicus
40m 51s
40m 51s
Adapt to rocq#21180 Nix CI for bundle coq-master #1113: Pull request #907 opened by Tragicus
39m 2s
39m 2s
Adapt to rocq#21180 Nix CI for bundle coq-8.20 #860: Pull request #907 opened by Tragicus
10m 47s
10m 47s
quantify over universes in build iota DOC #1884: Pull request #904 synchronize by patrick-nicodemus
7m 34s patrick-nicodemus:patch-6
patrick-nicodemus:patch-6
7m 34s
quantify over universes in build iota CI #475: Pull request #904 synchronize by patrick-nicodemus
5m 53s patrick-nicodemus:patch-6
patrick-nicodemus:patch-6
5m 53s
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
quantify over universes in build iota Nix CI for bundle coq-master #1112: Pull request #904 synchronize by patrick-nicodemus
48m 4s
48m 4s
quantify over universes in build iota Nix CI for bundle rocq-9.0 #520: Pull request #904 synchronize by patrick-nicodemus
49m 14s
49m 14s
quantify over universes in build iota Nix CI for bundle coq-8.20 #859: Pull request #904 synchronize by patrick-nicodemus
51m 50s
51m 50s
Adapt to rocq-prover/rocq#21163 (schemes attribute) CI #474: Pull request #906 opened by SkySkimmer
5m 55s SkySkimmer:scheme-attr
SkySkimmer:scheme-attr
5m 55s
Adapt to rocq-prover/rocq#21163 (schemes attribute) DOC #1883: Pull request #906 opened by SkySkimmer
8m 2s SkySkimmer:scheme-attr
SkySkimmer:scheme-attr
8m 2s
Adapt to rocq-prover/rocq#21163 (schemes attribute) Nix CI for bundle coq-8.20 #858: Pull request #906 opened by SkySkimmer
47m 42s
47m 42s
Adapt to rocq-prover/rocq#21163 (schemes attribute) Nix CI for bundle coq-master #1111: Pull request #906 opened by SkySkimmer
8m 9s
8m 9s
Adapt to rocq-prover/rocq#21163 (schemes attribute) Nix CI for bundle rocq-9.0 #519: Pull request #906 opened by SkySkimmer
40m 34s
40m 34s
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 DOC #1882: Pull request #904 synchronize by patrick-nicodemus
7m 6s patrick-nicodemus:patch-6
patrick-nicodemus:patch-6
7m 6s