Skip to content

Actions: math-comp/finmap

Actions

Nix CI for bundle 9.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-9.0.yml
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

from MathComp-Analysis' unstable.v Nix CI for bundle 9.0 #70: Pull request #149 synchronize by affeldt-aist
4m 53s
4m 53s
from MathComp-Analysis' unstable.v Nix CI for bundle 9.0 #69: Pull request #149 opened by affeldt-aist
3m 45s
3m 45s
Update coq-nix-toolbox. Nix CI for bundle 9.0 #68: Pull request #148 synchronize by arthuraa
1h 17m 1s arthuraa:mathcomp-2.5.0-update
arthuraa:mathcomp-2.5.0-update
1h 17m 1s
Update coq-nix-toolbox. Nix CI for bundle 9.0 #67: Pull request #148 synchronize by arthuraa
4m 26s
4m 26s
Update coq-nix-toolbox. Nix CI for bundle 9.0 #66: Pull request #148 opened by arthuraa
1h 15m 50s arthuraa:mathcomp-2.5.0-update
arthuraa:mathcomp-2.5.0-update
1h 15m 50s
Update coq-nix-toolbox. Nix CI for bundle 9.0 #65: Pull request #148 opened by arthuraa
5m 19s
5m 19s
Missing fsubU1set lemma Nix CI for bundle 9.0 #64: Pull request #145 opened by CohenCyril
6m 15s
6m 15s
Port to HB.lock Nix CI for bundle 9.0 #63: Pull request #144 synchronize by pi8027
5m 2s
5m 2s
Port to HB.lock Nix CI for bundle 9.0 #62: Pull request #144 synchronize by pi8027
4m 20s
4m 20s
Port to HB.lock Nix CI for bundle 9.0 #61: Pull request #144 synchronize by pi8027
4m 33s
4m 33s
Port to HB.lock Nix CI for bundle 9.0 #60: Pull request #144 synchronize by pi8027
4m 43s
4m 43s
Port to HB.lock Nix CI for bundle 9.0 #59: Pull request #144 synchronize by pi8027
4m 15s
4m 15s
Port to HB.lock Nix CI for bundle 9.0 #58: Pull request #144 synchronize by pi8027
4m 31s
4m 31s
Port to HB.lock Nix CI for bundle 9.0 #57: Pull request #144 opened by pi8027
4m 7s
4m 7s
Merge pull request #140 from affeldt-aist/unstable_20250703 Nix CI for bundle 9.0 #56: Commit c0cf3df pushed by proux01
2m 16s master
master
2m 16s
lemma from MathComp-Analysis' unstable.v Nix CI for bundle 9.0 #55: Pull request #140 synchronize by proux01
4m 3s
4m 3s
Merge pull request #142 from proux01/ci-update Nix CI for bundle 9.0 #54: Commit 4febba2 pushed by proux01
2m 24s master
master
2m 24s
[CI] Update Nix toolbox Nix CI for bundle 9.0 #53: Pull request #142 synchronize by proux01
3m 55s proux01:ci-update
proux01:ci-update
3m 55s
[CI] Update Nix toolbox Nix CI for bundle 9.0 #52: Pull request #142 synchronize by proux01
4m 24s
4m 24s
[CI] Update Nix toolbox Nix CI for bundle 9.0 #51: Pull request #142 synchronize by proux01
4m 6s proux01:ci-update
proux01:ci-update
4m 6s
[CI] Update Nix toolbox Nix CI for bundle 9.0 #50: Pull request #142 synchronize by proux01
4m 21s
4m 21s
[CI] Update Nix toolbox Nix CI for bundle 9.0 #49: Pull request #142 opened by proux01
2m 21s proux01:ci-update
proux01:ci-update
2m 21s
[CI] Update Nix toolbox Nix CI for bundle 9.0 #48: Pull request #142 opened by proux01
2m 5s
2m 5s
lemma from MathComp-Analysis' unstable.v Nix CI for bundle 9.0 #47: Pull request #140 opened by affeldt-aist
9m 24s
9m 24s
Merge pull request #139 from proux01/rm-redundant-notation Nix CI for bundle 9.0 #46: Commit d9ffee5 pushed by proux01
3m 33s master
master
3m 33s