Skip to content

Actions: rocq-prover/stdlib

Actions

Nix CI for bundle rocq-9.1

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-rocq-9.1.yml
127 workflow runs
127 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.1 #127: Pull request #231 synchronize by SkySkimmer
58m 48s
58m 48s
dune generate unsorted All.v Nix CI for bundle rocq-9.1 #126: Pull request #231 synchronize by SkySkimmer
53m 29s
53m 29s
dune generate unsorted All.v Nix CI for bundle rocq-9.1 #125: Pull request #231 synchronize by SkySkimmer
52m 38s
52m 38s
dune generate unsorted All.v Nix CI for bundle rocq-9.1 #124: Pull request #231 opened by SkySkimmer
1h 4m 13s
1h 4m 13s
Merge pull request #150 from andres-erbsen/early-lia Nix CI for bundle rocq-9.1 #123: Commit 31865e3 pushed by andres-erbsen
23m 2s master
master
23m 2s
clean up component dependencies of lia Nix CI for bundle rocq-9.1 #122: Pull request #150 synchronize by andres-erbsen
1h 3m 3s
1h 3m 3s
clean up component dependencies of lia Nix CI for bundle rocq-9.1 #121: Pull request #150 synchronize by andres-erbsen
1h 15m 9s
1h 15m 9s
Merge pull request #228 from proux01/rocq21478 Nix CI for bundle rocq-9.1 #120: Commit ab3b51a pushed by proux01
18m 8s master
master
18m 8s
Adapt to https://github.com/rocq-prover/rocq/pull/21478 Nix CI for bundle rocq-9.1 #119: Pull request #228 synchronize by proux01
49m 48s
49m 48s
Merge pull request #229 from proux01/ci-update Nix CI for bundle rocq-9.1 #118: Commit e709142 pushed by proux01
44m 57s master
master
44m 57s
[CI] Update Nix CI for bundle rocq-9.1 #117: Pull request #229 opened by proux01
1h 24m 26s proux01:ci-update
proux01:ci-update
1h 24m 26s
[CI] Update Nix CI for bundle rocq-9.1 #116: Pull request #229 opened by proux01
1h 12m 27s
1h 12m 27s
Adapt to https://github.com/rocq-prover/rocq/pull/21478 Nix CI for bundle rocq-9.1 #115: Pull request #228 opened by proux01
50m 17s
50m 17s
Adapt to rocq-prover/rocq#21392. Nix CI for bundle rocq-9.1 #114: Pull request #227 opened by ppedrot
1h 31m 0s
1h 31m 0s
Merge pull request #226 from SkySkimmer/fix-warn Nix CI for bundle rocq-9.1 #113: Commit d722e59 pushed by SkySkimmer
1h 8m 38s master
master
1h 8m 38s
Cleanup warnings Nix CI for bundle rocq-9.1 #112: Pull request #226 opened by SkySkimmer
47m 18s
47m 18s
[build] Fix missing deps in dune rule for All.v file Nix CI for bundle rocq-9.1 #111: Pull request #201 synchronize by ejgallego
1h 3m 11s
1h 3m 11s
Merge pull request #160 from lyonel2017/feature-ensatz Nix CI for bundle rocq-9.1 #110: Commit df9ea43 pushed by andres-erbsen
36m 1s master
master
36m 1s
Merge pull request #224 from SkySkimmer/test-1844 Nix CI for bundle rocq-9.1 #109: Commit 995998a pushed by andres-erbsen
29m 14s master
master
29m 14s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-9.1 #108: Pull request #160 synchronize by lyonel2017
2h 29m 17s
2h 29m 17s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-9.1 #107: Pull request #160 synchronize by lyonel2017
36m 31s
36m 31s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-9.1 #106: Pull request #160 synchronize by lyonel2017
1h 10m 29s
1h 10m 29s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-9.1 #105: Pull request #160 synchronize by lyonel2017
1h 47m 50s
1h 47m 50s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-9.1 #104: Pull request #160 synchronize by lyonel2017
2h 0m 15s
2h 0m 15s
Add new tactic "ensatz" for proving polynomial equalities with existential quantifier Nix CI for bundle rocq-9.1 #103: Pull request #160 synchronize by lyonel2017
1h 7m 4s
1h 7m 4s