Skip to content

Actions: math-comp/finmap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
474 workflow runs
474 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

from MathComp-Analysis' unstable.v Docker CI #140: Pull request #149 synchronize by affeldt-aist
3m 57s affeldt-aist:unstable_20260101
affeldt-aist:unstable_20260101
3m 57s
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 master #99: Pull request #149 synchronize by affeldt-aist
6m 30s
6m 30s
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
from MathComp-Analysis' unstable.v Nix CI for bundle master #98: Pull request #149 opened by affeldt-aist
6m 33s
6m 33s
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. Docker CI #139: Pull request #148 synchronize by arthuraa
4m 4s arthuraa:mathcomp-2.5.0-update
arthuraa:mathcomp-2.5.0-update
4m 4s
Update coq-nix-toolbox. Nix CI for bundle master #97: Pull request #148 synchronize by arthuraa
5m 35s arthuraa:mathcomp-2.5.0-update
arthuraa:mathcomp-2.5.0-update
5m 35s
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 9.0 #67: Pull request #148 synchronize by arthuraa
4m 26s
4m 26s
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 master #96: Pull request #148 synchronize by arthuraa
6m 28s
6m 28s
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 8.20 #76: Pull request #148 opened by arthuraa
7m 20s
7m 20s
Update coq-nix-toolbox. Nix CI for bundle master #95: Pull request #148 opened by arthuraa
5m 52s arthuraa:mathcomp-2.5.0-update
arthuraa:mathcomp-2.5.0-update
5m 52s
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
Update coq-nix-toolbox. Docker CI #138: Pull request #148 opened by arthuraa
16m 2s arthuraa:mathcomp-2.5.0-update
arthuraa:mathcomp-2.5.0-update
16m 2s
Update coq-nix-toolbox. Nix CI for bundle 9.0 #65: Pull request #148 opened by arthuraa
5m 19s
5m 19s
Update coq-nix-toolbox. Nix CI for bundle master #94: Pull request #148 opened by arthuraa
6m 29s
6m 29s
Missing fsubU1set lemma Nix CI for bundle 8.20 #74: Pull request #145 opened by CohenCyril
5m 40s
5m 40s
Missing fsubU1set lemma Docker CI #137: Pull request #145 opened by CohenCyril
4m 22s fsubU1set
fsubU1set
4m 22s
Missing fsubU1set lemma Nix CI for bundle master #93: Pull request #145 opened by CohenCyril
7m 21s
7m 21s
Missing fsubU1set lemma Nix CI for bundle 9.0 #64: Pull request #145 opened by CohenCyril
6m 15s
6m 15s