Skip to content

Actions: rocq-prover/stdlib

Actions

Nix CI for bundle rocq-master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-rocq-master.yml
571 workflow runs
571 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #231 from SkySkimmer/all-unsorted Nix CI for bundle rocq-master #571: Commit 24008aa pushed by proux01
1h 4m 59s master
master
1h 4m 59s
dune generate unsorted All.v Nix CI for bundle rocq-master #570: Pull request #231 synchronize by SkySkimmer
3h 20m 12s
3h 20m 12s
dune generate unsorted All.v Nix CI for bundle rocq-master #569: Pull request #231 synchronize by SkySkimmer
57m 0s
57m 0s
dune generate unsorted All.v Nix CI for bundle rocq-master #568: Pull request #231 synchronize by SkySkimmer
55m 28s
55m 28s
dune generate unsorted All.v Nix CI for bundle rocq-master #567: Pull request #231 opened by SkySkimmer
1h 6m 2s
1h 6m 2s
Merge pull request #150 from andres-erbsen/early-lia Nix CI for bundle rocq-master #566: Commit 31865e3 pushed by andres-erbsen
1h 42m 15s master
master
1h 42m 15s
clean up component dependencies of lia Nix CI for bundle rocq-master #565: Pull request #150 synchronize by andres-erbsen
2h 10m 0s
2h 10m 0s
clean up component dependencies of lia Nix CI for bundle rocq-master #564: Pull request #150 synchronize by andres-erbsen
1h 49m 57s
1h 49m 57s
Merge pull request #228 from proux01/rocq21478 Nix CI for bundle rocq-master #563: Commit ab3b51a pushed by proux01
29m 33s master
master
29m 33s
Adapt to https://github.com/rocq-prover/rocq/pull/21478 Nix CI for bundle rocq-master #562: Pull request #228 synchronize by proux01
2h 7m 37s
2h 7m 37s
Merge pull request #229 from proux01/ci-update Nix CI for bundle rocq-master #561: Commit e709142 pushed by proux01
2h 6m 46s master
master
2h 6m 46s
[CI] Update Nix CI for bundle rocq-master #560: Pull request #229 opened by proux01
1h 31m 3s proux01:ci-update
proux01:ci-update
1h 31m 3s
[CI] Update Nix CI for bundle rocq-master #559: Pull request #229 opened by proux01
1h 31m 8s
1h 31m 8s
Adapt to https://github.com/rocq-prover/rocq/pull/21478 Nix CI for bundle rocq-master #558: Pull request #228 opened by proux01
50m 15s
50m 15s
Adapt to rocq-prover/rocq#21392. Nix CI for bundle rocq-master #557: Pull request #227 opened by ppedrot
1h 25m 30s
1h 25m 30s
Merge pull request #226 from SkySkimmer/fix-warn Nix CI for bundle rocq-master #556: Commit d722e59 pushed by SkySkimmer
1h 33m 16s master
master
1h 33m 16s
Cleanup warnings Nix CI for bundle rocq-master #555: Pull request #226 opened by SkySkimmer
2h 5m 44s
2h 5m 44s
[build] Fix missing deps in dune rule for All.v file Nix CI for bundle rocq-master #554: Pull request #201 synchronize by ejgallego
2h 36m 33s
2h 36m 33s
Merge pull request #160 from lyonel2017/feature-ensatz Nix CI for bundle rocq-master #553: Commit df9ea43 pushed by andres-erbsen
2h 29m 3s master
master
2h 29m 3s
Merge pull request #224 from SkySkimmer/test-1844 Nix CI for bundle rocq-master #552: Commit 995998a pushed by andres-erbsen
2h 0m 14s master
master
2h 0m 14s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-master #551: Pull request #160 synchronize by lyonel2017
2h 37m 5s
2h 37m 5s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-master #550: Pull request #160 synchronize by lyonel2017
2h 31m 21s
2h 31m 21s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-master #549: Pull request #160 synchronize by lyonel2017
1h 53m 32s
1h 53m 32s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-master #548: Pull request #160 synchronize by lyonel2017
2h 37m 27s
2h 37m 27s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-master #547: Pull request #160 synchronize by lyonel2017
3h 25m 4s
3h 25m 4s