Skip to content

Actions: hivert/FormalPowerSeries

Actions

Nix CI for bundle coq8.19-mc2.3.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq8.19-mc2.3.0.yml
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix nix Nix CI for bundle coq8.19-mc2.3.0 #7: Commit 796815b pushed by hivert
January 8, 2025 20:03 6m 16s master
master
January 8, 2025 20:03 6m 16s
Updated badges Nix CI for bundle coq8.19-mc2.3.0 #6: Commit 4f4b6c1 pushed by hivert
January 8, 2025 20:00 Failure master
master
January 8, 2025 20:00 Failure
New Nix toolbox Nix CI for bundle coq8.19-mc2.3.0 #5: Commit b2b02df pushed by hivert
January 8, 2025 19:55 Failure MC-2.3
MC-2.3
January 8, 2025 19:55 Failure
New Nix toolbox Nix CI for bundle coq8.19-mc2.3.0 #4: Commit b2b02df pushed by hivert
January 8, 2025 19:54 Failure MC-2.3
MC-2.3
January 8, 2025 19:54 Failure
New Nix toolbox Nix CI for bundle coq8.19-mc2.3.0 #3: Commit b2b02df pushed by hivert
January 8, 2025 18:48 Failure MC-2.3
MC-2.3
January 8, 2025 18:48 Failure
MathComp 2.3 compat Nix CI for bundle coq8.19-mc2.3.0 #2: Pull request #4 synchronize by hivert
January 8, 2025 14:20 1m 29s MC-2.3
MC-2.3
January 8, 2025 14:20 1m 29s
MathComp 2.3 compat Nix CI for bundle coq8.19-mc2.3.0 #1: Pull request #4 synchronize by hivert
January 3, 2025 23:00 1m 20s MC-2.3
MC-2.3
January 3, 2025 23:00 1m 20s