Skip to content

Actions: rocq-prover/stdlib

Actions

Nix CI for bundle rocq-9.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-rocq-9.0.yml
574 workflow runs
574 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

dune generate unsorted All.v Nix CI for bundle rocq-9.0 #574: Pull request #231 synchronize by SkySkimmer
1h 8m 58s
1h 8m 58s
dune generate unsorted All.v Nix CI for bundle rocq-9.0 #573: Pull request #231 synchronize by SkySkimmer
55m 10s
55m 10s
dune generate unsorted All.v Nix CI for bundle rocq-9.0 #572: Pull request #231 synchronize by SkySkimmer
55m 42s
55m 42s
dune generate unsorted All.v Nix CI for bundle rocq-9.0 #571: Pull request #231 opened by SkySkimmer
1h 4m 29s
1h 4m 29s
Merge pull request #150 from andres-erbsen/early-lia Nix CI for bundle rocq-9.0 #570: Commit 31865e3 pushed by andres-erbsen
23m 15s master
master
23m 15s
clean up component dependencies of lia Nix CI for bundle rocq-9.0 #569: Pull request #150 synchronize by andres-erbsen
1h 3m 49s
1h 3m 49s
clean up component dependencies of lia Nix CI for bundle rocq-9.0 #568: Pull request #150 synchronize by andres-erbsen
1h 22m 53s
1h 22m 53s
Merge pull request #228 from proux01/rocq21478 Nix CI for bundle rocq-9.0 #567: Commit ab3b51a pushed by proux01
18m 33s master
master
18m 33s
Adapt to https://github.com/rocq-prover/rocq/pull/21478 Nix CI for bundle rocq-9.0 #566: Pull request #228 synchronize by proux01
50m 9s
50m 9s
Merge pull request #229 from proux01/ci-update Nix CI for bundle rocq-9.0 #565: Commit e709142 pushed by proux01
46m 17s master
master
46m 17s
[CI] Update Nix CI for bundle rocq-9.0 #564: Pull request #229 opened by proux01
1h 25m 58s
1h 25m 58s
Adapt to https://github.com/rocq-prover/rocq/pull/21478 Nix CI for bundle rocq-9.0 #563: Pull request #228 opened by proux01
50m 21s
50m 21s
Adapt to rocq-prover/rocq#21392. Nix CI for bundle rocq-9.0 #562: Pull request #227 opened by ppedrot
1h 29m 53s
1h 29m 53s
Merge pull request #226 from SkySkimmer/fix-warn Nix CI for bundle rocq-9.0 #561: Commit d722e59 pushed by SkySkimmer
1h 12m 2s master
master
1h 12m 2s
Cleanup warnings Nix CI for bundle rocq-9.0 #560: Pull request #226 opened by SkySkimmer
44m 23s
44m 23s
[build] Fix missing deps in dune rule for All.v file Nix CI for bundle rocq-9.0 #559: Pull request #201 synchronize by ejgallego
1h 3m 33s
1h 3m 33s
Merge pull request #160 from lyonel2017/feature-ensatz Nix CI for bundle rocq-9.0 #558: Commit df9ea43 pushed by andres-erbsen
34m 45s master
master
34m 45s
Merge pull request #224 from SkySkimmer/test-1844 Nix CI for bundle rocq-9.0 #557: Commit 995998a pushed by andres-erbsen
32m 22s master
master
32m 22s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-9.0 #556: Pull request #160 synchronize by lyonel2017
2h 29m 46s
2h 29m 46s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-9.0 #555: Pull request #160 synchronize by lyonel2017
38m 45s
38m 45s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-9.0 #554: Pull request #160 synchronize by lyonel2017
1h 10m 26s
1h 10m 26s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-9.0 #553: Pull request #160 synchronize by lyonel2017
1h 52m 2s
1h 52m 2s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-9.0 #552: Pull request #160 synchronize by lyonel2017
2h 4m 59s
2h 4m 59s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-9.0 #551: Pull request #160 synchronize by lyonel2017
1h 27m 56s
1h 27m 56s
Move test of rocq#1844 back to main repo Nix CI for bundle rocq-9.0 #550: Pull request #224 opened by SkySkimmer
2h 25m 27s
2h 25m 27s