Skip to content

Actions: math-comp/Coq-Combi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
153 workflow runs
153 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Adapt to MathComp master Nix CI for bundle rocq-9.0-mc2.6.0 #1: Pull request #23 opened by proux01
1m 47s proux01:mcmaster
proux01:mcmaster
1m 47s
Adapt to MathComp master Nix CI for bundle rocq-9.3-mc2.6.0 #1: Pull request #23 opened by proux01
2m 21s proux01:mcmaster
proux01:mcmaster
2m 21s
Adapt to MathComp master Nix CI for bundle rocq-9.1-mcmaster #40: Pull request #23 opened by proux01
1m 54s proux01:mcmaster
proux01:mcmaster
1m 54s
Adapt to MathComp master Nix CI for bundle rocq-9.3-mcmaster #1: Pull request #23 opened by proux01
1m 48s proux01:mcmaster
proux01:mcmaster
1m 48s
Adapt to MathComp master Nix CI for bundle rocq-9.1-mc2.6.0 #1: Pull request #23 opened by proux01
1m 58s proux01:mcmaster
proux01:mcmaster
1m 58s
Adapt to MathComp master Nix CI for bundle rocq-9.2-mc2.6.0 #4: Pull request #23 opened by proux01
6m 42s proux01:mcmaster
proux01:mcmaster
6m 42s
Adapt to MathComp master Nix CI for bundle rocq-9.2-mcmaster #4: Pull request #23 opened by proux01
2m 1s proux01:mcmaster
proux01:mcmaster
2m 1s
Adapt to MathComp master Nix CI for bundle rocq-9.1-mc2.5.0 #39: Pull request #23 opened by proux01
40s
40s
Adapt to MathComp master Nix CI for bundle rocq-9.2-mc2.6.0 #3: Pull request #23 opened by proux01
6m 53s
6m 53s
Adapt to MathComp master Nix CI for bundle rocq-9.0-mc2.5.0 #39: Pull request #23 opened by proux01
10s
10s
Adapt to MathComp master Nix CI for bundle rocq-9.2-mcmaster #3: Pull request #23 opened by proux01
1m 50s
1m 50s
Adapt to MathComp master Nix CI for bundle rocq-9.2-mc2.5.0 #3: Pull request #23 opened by proux01
35s
35s
Adapt to MathComp master Nix CI for bundle rocq-9.1-mcmaster #39: Pull request #23 opened by proux01
2m 2s
2m 2s
Fixed rewrite order + move homsymdot in Cauchy Nix CI for bundle rocq-9.0-mc2.5.0 #38: Commit 3c7837e pushed by hivert
8m 29s master
master
8m 29s
Fixed rewrite order + move homsymdot in Cauchy Nix CI for bundle rocq-9.1-mc2.5.0 #38: Commit 3c7837e pushed by hivert
7m 25s master
master
7m 25s
Fixed rewrite order + move homsymdot in Cauchy Nix CI for bundle rocq-9.2-mcmaster #2: Commit 3c7837e pushed by hivert
2m 26s master
master
2m 26s
Fixed rewrite order + move homsymdot in Cauchy Nix CI for bundle rocq-9.1-mcmaster #38: Commit 3c7837e pushed by hivert
3m 3s master
master
3m 3s
Fixed rewrite order + move homsymdot in Cauchy Nix CI for bundle rocq-9.2-mc2.5.0 #2: Commit 3c7837e pushed by hivert
2m 52s master
master
2m 52s
Fixed rewrite order + move homsymdot in Cauchy Nix CI for bundle rocq-9.2-mc2.6.0 #2: Commit 3c7837e pushed by hivert
8m 33s master
master
8m 33s
Add MC2-6 and Rocq-9.2 to CI Nix CI for bundle rocq-9.1-mcmaster #37: Commit cad762b pushed by hivert
1m 53s master
master
1m 53s
Add MC2-6 and Rocq-9.2 to CI Nix CI for bundle rocq-9.2-mc2.6.0 #1: Commit cad762b pushed by hivert
3m 53s master
master
3m 53s
Add MC2-6 and Rocq-9.2 to CI Nix CI for bundle rocq-9.0-mc2.5.0 #37: Commit cad762b pushed by hivert
7m 6s master
master
7m 6s
Add MC2-6 and Rocq-9.2 to CI Nix CI for bundle rocq-9.1-mc2.5.0 #37: Commit cad762b pushed by hivert
6m 56s master
master
6m 56s
Add MC2-6 and Rocq-9.2 to CI Nix CI for bundle rocq-9.2-mc2.5.0 #1: Commit cad762b pushed by hivert
1m 55s master
master
1m 55s
Add MC2-6 and Rocq-9.2 to CI Nix CI for bundle rocq-9.2-mcmaster #1: Commit cad762b pushed by hivert
2m 1s master
master
2m 1s