Skip to content

Actions: hivert/FormalPowerSeries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

typos in README.md Nix CI for bundle coq8.18-mc2.3.0 #7: Pull request #5 opened by fchapoton
32m 19s
32m 19s
typos in README.md Nix CI for bundle coq8.19-mc2.3.0 #8: Pull request #5 opened by fchapoton
6m 46s
6m 46s
typos in README.md Nix CI for bundle coq8.20-mc2.3.0 #8: Pull request #5 opened by fchapoton
5m 32s
5m 32s
Fix nix Nix CI for bundle coq8.18-mc2.3.0 #6: Commit 796815b pushed by hivert
32m 55s master
master
32m 55s
Fix nix Nix CI for bundle coq8.20-mc2.3.0 #7: Commit 796815b pushed by hivert
4m 57s master
master
4m 57s
Fix nix Nix CI for bundle coq8.19-mc2.3.0 #7: Commit 796815b pushed by hivert
6m 16s master
master
6m 16s
Updated badges Nix CI for bundle coq8.18-mc2.3.0 #5: Commit 4f4b6c1 pushed by hivert
32m 36s master
master
32m 36s
Updated badges Nix CI for bundle coq8.19-mc2.3.0 #6: Commit 4f4b6c1 pushed by hivert
Failure master
master
Failure
Updated badges Nix CI for bundle coq8.20-mc2.3.0 #6: Commit 4f4b6c1 pushed by hivert
Failure master
master
Failure
New Nix toolbox Nix CI for bundle coq8.18-mc2.3.0 #4: Commit b2b02df pushed by hivert
31m 57s master
master
31m 57s
New Nix toolbox Nix CI for bundle coq8.20-mc2.3.0 #5: Commit b2b02df pushed by hivert
Failure MC-2.3
MC-2.3
Failure
New Nix toolbox Nix CI for bundle coq8.19-mc2.3.0 #5: Commit b2b02df pushed by hivert
Failure MC-2.3
MC-2.3
Failure
New Nix toolbox Nix CI for bundle coq8.20-mc2.3.0 #4: Commit b2b02df pushed by hivert
Failure MC-2.3
MC-2.3
Failure
New Nix toolbox Nix CI for bundle coq8.19-mc2.3.0 #4: Commit b2b02df pushed by hivert
Failure MC-2.3
MC-2.3
Failure
MathComp 2.3 compat Nix CI for bundle coq8.18-mc2.3.0 #3: Pull request #4 synchronize by hivert
31m 55s MC-2.3
MC-2.3
31m 55s
MathComp 2.3 compat Nix CI for bundle coq8.19-mc2.2.0 #31: Pull request #4 synchronize by hivert
48s
48s
MathComp 2.3 compat Nix CI for bundle coq8.17-mc2.2.0 #31: Pull request #4 synchronize by hivert
50s
50s
MathComp 2.3 compat Nix CI for bundle coq8.18-mc2.2.0 #31: Pull request #4 synchronize by hivert
47s
47s
New Nix toolbox Nix CI for bundle coq8.20-mc2.3.0 #3: Commit b2b02df pushed by hivert
Failure MC-2.3
MC-2.3
Failure
New Nix toolbox Nix CI for bundle coq8.19-mc2.3.0 #3: Commit b2b02df pushed by hivert
Failure MC-2.3
MC-2.3
Failure
MathComp 2.3 compat Nix CI for bundle coq8.20-mc2.3.0 #2: Pull request #4 synchronize by hivert
45s MC-2.3
MC-2.3
45s
MathComp 2.3 compat Nix CI for bundle coq8.19-mc2.3.0 #2: Pull request #4 synchronize by hivert
1m 29s MC-2.3
MC-2.3
1m 29s
MathComp 2.3 compat Nix CI for bundle coq8.18-mc2.3.0 #2: Pull request #4 synchronize by hivert
1m 33s MC-2.3
MC-2.3
1m 33s
MathComp 2.3 compat Nix CI for bundle coq8.18-mc2.2.0 #30: Pull request #4 synchronize by hivert
45s
45s
MathComp 2.3 compat Nix CI for bundle coq8.19-mc2.2.0 #30: Pull request #4 synchronize by hivert
48s
48s