Skip to content

Actions: math-comp/finmap

Actions

Nix CI for bundle 8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.20.yml
80 workflow runs
80 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

from MathComp-Analysis' unstable.v Nix CI for bundle 8.20 #80: Pull request #149 synchronize by affeldt-aist
4m 29s
4m 29s
from MathComp-Analysis' unstable.v Nix CI for bundle 8.20 #79: Pull request #149 opened by affeldt-aist
3m 36s
3m 36s
Update coq-nix-toolbox. Nix CI for bundle 8.20 #78: Pull request #148 synchronize by arthuraa
1h 29m 1s arthuraa:mathcomp-2.5.0-update
arthuraa:mathcomp-2.5.0-update
1h 29m 1s
Update coq-nix-toolbox. Nix CI for bundle 8.20 #77: Pull request #148 synchronize by arthuraa
4m 43s
4m 43s
Update coq-nix-toolbox. Nix CI for bundle 8.20 #76: Pull request #148 opened by arthuraa
7m 20s
7m 20s
Update coq-nix-toolbox. Nix CI for bundle 8.20 #75: Pull request #148 opened by arthuraa
1h 28m 29s arthuraa:mathcomp-2.5.0-update
arthuraa:mathcomp-2.5.0-update
1h 28m 29s
Missing fsubU1set lemma Nix CI for bundle 8.20 #74: Pull request #145 opened by CohenCyril
5m 40s
5m 40s
Port to HB.lock Nix CI for bundle 8.20 #73: Pull request #144 synchronize by pi8027
5m 14s
5m 14s
Port to HB.lock Nix CI for bundle 8.20 #72: Pull request #144 synchronize by pi8027
4m 48s
4m 48s
Port to HB.lock Nix CI for bundle 8.20 #71: Pull request #144 synchronize by pi8027
4m 46s
4m 46s
Port to HB.lock Nix CI for bundle 8.20 #70: Pull request #144 synchronize by pi8027
4m 46s
4m 46s
Port to HB.lock Nix CI for bundle 8.20 #69: Pull request #144 synchronize by pi8027
4m 42s
4m 42s
Port to HB.lock Nix CI for bundle 8.20 #68: Pull request #144 synchronize by pi8027
4m 18s
4m 18s
Port to HB.lock Nix CI for bundle 8.20 #67: Pull request #144 opened by pi8027
4m 49s
4m 49s
Merge pull request #140 from affeldt-aist/unstable_20250703 Nix CI for bundle 8.20 #66: Commit c0cf3df pushed by proux01
2m 13s master
master
2m 13s
lemma from MathComp-Analysis' unstable.v Nix CI for bundle 8.20 #65: Pull request #140 synchronize by proux01
4m 20s
4m 20s
Merge pull request #142 from proux01/ci-update Nix CI for bundle 8.20 #64: Commit 4febba2 pushed by proux01
2m 19s master
master
2m 19s
[CI] Update Nix toolbox Nix CI for bundle 8.20 #63: Pull request #142 synchronize by proux01
4m 18s proux01:ci-update
proux01:ci-update
4m 18s
[CI] Update Nix toolbox Nix CI for bundle 8.20 #62: Pull request #142 synchronize by proux01
4m 41s
4m 41s
[CI] Update Nix toolbox Nix CI for bundle 8.20 #61: Pull request #142 synchronize by proux01
4m 10s proux01:ci-update
proux01:ci-update
4m 10s
[CI] Update Nix toolbox Nix CI for bundle 8.20 #60: Pull request #142 synchronize by proux01
4m 55s
4m 55s
[CI] Update Nix toolbox Nix CI for bundle 8.20 #59: Pull request #142 opened by proux01
11m 13s proux01:ci-update
proux01:ci-update
11m 13s
[CI] Update Nix toolbox Nix CI for bundle 8.20 #58: Pull request #142 opened by proux01
12m 50s
12m 50s
lemma from MathComp-Analysis' unstable.v Nix CI for bundle 8.20 #57: Pull request #140 opened by affeldt-aist
10m 59s
10m 59s
Merge pull request #139 from proux01/rm-redundant-notation Nix CI for bundle 8.20 #56: Commit d9ffee5 pushed by proux01
3m 34s master
master
3m 34s