Skip to content

Actions: math-comp/finmap

Actions

Nix CI for bundle master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-master.yml
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 master #98: Pull request #149 opened by affeldt-aist
6m 33s
6m 33s
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 master #96: Pull request #148 synchronize by arthuraa
6m 28s
6m 28s
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 master #94: Pull request #148 opened by arthuraa
6m 29s
6m 29s
Missing fsubU1set lemma Nix CI for bundle master #93: Pull request #145 opened by CohenCyril
7m 21s
7m 21s
Port to HB.lock Nix CI for bundle master #92: Pull request #144 synchronize by pi8027
4m 49s
4m 49s
Port to HB.lock Nix CI for bundle master #91: Pull request #144 synchronize by pi8027
2m 50s
2m 50s
Port to HB.lock Nix CI for bundle master #90: Pull request #144 synchronize by pi8027
6m 34s
6m 34s
Port to HB.lock Nix CI for bundle master #89: Pull request #144 synchronize by pi8027
3m 3s
3m 3s
Port to HB.lock Nix CI for bundle master #88: Pull request #144 synchronize by pi8027
2m 57s
2m 57s
Port to HB.lock Nix CI for bundle master #87: Pull request #144 synchronize by pi8027
6m 20s
6m 20s
Port to HB.lock Nix CI for bundle master #86: Pull request #144 opened by pi8027
2h 12m 17s
2h 12m 17s
Merge pull request #140 from affeldt-aist/unstable_20250703 Nix CI for bundle master #85: Commit c0cf3df pushed by proux01
3m 9s master
master
3m 9s
lemma from MathComp-Analysis' unstable.v Nix CI for bundle master #84: Pull request #140 synchronize by proux01
4m 5s
4m 5s
Merge pull request #142 from proux01/ci-update Nix CI for bundle master #83: Commit 4febba2 pushed by proux01
3m 23s master
master
3m 23s
[CI] Update Nix toolbox Nix CI for bundle master #82: Pull request #142 synchronize by proux01
5m 0s proux01:ci-update
proux01:ci-update
5m 0s
[CI] Update Nix toolbox Nix CI for bundle master #81: Pull request #142 synchronize by proux01
5m 22s
5m 22s
[CI] Update Nix toolbox Nix CI for bundle master #80: Pull request #142 synchronize by proux01
4m 29s proux01:ci-update
proux01:ci-update
4m 29s
[CI] Update Nix toolbox Nix CI for bundle master #79: Pull request #142 synchronize by proux01
6m 12s
6m 12s
[CI] Update Nix toolbox Nix CI for bundle master #78: Pull request #142 opened by proux01
16m 44s proux01:ci-update
proux01:ci-update
16m 44s
[CI] Update Nix toolbox Nix CI for bundle master #77: Pull request #142 opened by proux01
17m 55s
17m 55s
lemma from MathComp-Analysis' unstable.v Nix CI for bundle master #76: Pull request #140 opened by affeldt-aist
15m 39s
15m 39s
Merge pull request #139 from proux01/rm-redundant-notation Nix CI for bundle master #75: Commit d9ffee5 pushed by proux01
8m 12s master
master
8m 12s