Skip to content

Actions: rocq-prover/equations

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
212 workflow runs
212 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Adapt to https://github.com/rocq-prover/stdlib/pull/251 CI #814: Pull request #712 synchronize by proux01
4m 43s proux01:stdlib251
proux01:stdlib251
4m 43s
Adapt to https://github.com/rocq-prover/stdlib/pull/251 Nix CI for bundle default #60: Pull request #712 synchronize by proux01
2m 56s
2m 56s
Merge pull request #721 from ppedrot/kernel-abstract-univ-inductive Nix CI for bundle default #59: Commit a3d1e5a pushed by SkySkimmer
27m 14s main
main
27m 14s
Merge pull request #721 from ppedrot/kernel-abstract-univ-inductive CI #813: Commit a3d1e5a pushed by SkySkimmer
15m 17s main
main
15m 17s
Merge pull request #719 from SkySkimmer/context-secvar Nix CI for bundle default #58: Commit c42c597 pushed by ppedrot
6m 59s main
main
6m 59s
Merge pull request #719 from SkySkimmer/context-secvar CI #812: Commit c42c597 pushed by ppedrot
4m 59s main
main
4m 59s
Adapt to rocq-prover/rocq#21987 (secvar status) Nix CI for bundle default #57: Pull request #719 synchronize by SkySkimmer
7m 27s
7m 27s
Adapt to rocq-prover/rocq#21987 (secvar status) CI #811: Pull request #719 synchronize by SkySkimmer
4m 38s SkySkimmer:context-secvar
SkySkimmer:context-secvar
4m 38s
Adapt to rocq-prover/rocq#22070. CI #810: Pull request #721 opened by ppedrot
4m 56s ppedrot:kernel-abstract-univ-inductive
ppedrot:kernel-abstract-univ-inductive
4m 56s
Adapt to rocq-prover/rocq#22070. Nix CI for bundle default #56: Pull request #721 opened by ppedrot
2m 42s
2m 42s
Merge pull request #720 from SkySkimmer/coqpro Nix CI for bundle default #55: Commit 319b181 pushed by ppedrot
3m 1s main
main
3m 1s
Merge pull request #720 from SkySkimmer/coqpro CI #809: Commit 319b181 pushed by ppedrot
4m 55s main
main
4m 55s
fix coqproject for dune Nix CI for bundle default #54: Pull request #720 synchronize by SkySkimmer
2m 39s
2m 39s
fix coqproject for dune CI #808: Pull request #720 synchronize by SkySkimmer
4m 47s SkySkimmer:coqpro
SkySkimmer:coqpro
4m 47s
fix coqproject for dune CI #807: Pull request #720 opened by SkySkimmer
4m 29s SkySkimmer:coqpro
SkySkimmer:coqpro
4m 29s
fix coqproject for dune Nix CI for bundle default #53: Pull request #720 opened by SkySkimmer
2m 48s
2m 48s
Merge pull request #714 from proux01/rocq21947 CI #806: Commit 6b360db pushed by SkySkimmer
4m 44s main
main
4m 44s
Merge pull request #714 from proux01/rocq21947 Nix CI for bundle default #52: Commit 6b360db pushed by SkySkimmer
7m 10s main
main
7m 10s
Adapt to https://github.com/rocq-prover/rocq/pull/21947 CI #805: Pull request #714 synchronize by proux01
5m 11s proux01:rocq21947
proux01:rocq21947
5m 11s
Adapt to https://github.com/rocq-prover/rocq/pull/21947 Nix CI for bundle default #51: Pull request #714 synchronize by proux01
3m 27s
3m 27s
Adapt to https://github.com/rocq-prover/rocq/pull/21947 CI #804: Pull request #714 synchronize by proux01
8m 27s proux01:rocq21947
proux01:rocq21947
8m 27s
Adapt to https://github.com/rocq-prover/rocq/pull/21947 Nix CI for bundle default #50: Pull request #714 synchronize by proux01
10m 20s
10m 20s
Adapt to rocq-prover/rocq#21987 (secvar status) CI #803: Pull request #719 synchronize by SkySkimmer
7m 37s SkySkimmer:context-secvar
SkySkimmer:context-secvar
7m 37s
Adapt to rocq-prover/rocq#21987 (secvar status) Nix CI for bundle default #49: Pull request #719 synchronize by SkySkimmer
10m 17s
10m 17s
Adapt to rocq-prover/rocq#21987 (secvar status) CI #802: Pull request #719 synchronize by SkySkimmer
4m 25s SkySkimmer:context-secvar
SkySkimmer:context-secvar
4m 25s