Skip to content

Actions: math-comp/Coq-Combi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 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
Removed duplicate lemma nth_ord_ltn Nix CI for bundle rocq-9.0-mc2.4.0 #6: Commit 4a3fedf pushed by hivert
1m 10s master
master
1m 10s
Update to MathComp 2.5 Nix CI for bundle rocq-9.0-mc2.4.0 #5: Commit 9cd60df pushed by hivert
1m 20s master
master
1m 20s
Various minor improvements Nix CI for bundle rocq-9.0-mc2.4.0 #4: Commit b3da841 pushed by hivert
1m 41s master
master
1m 41s
Better handling of Ordtype display Nix CI for bundle rocq-9.0-mc2.4.0 #3: Commit 2d1c4e3 pushed by hivert
1m 41s master
master
1m 41s
Tentative fix of Nix CI Nix CI for bundle rocq-9.0-mc2.4.0 #2: Commit dc8ad37 pushed by hivert
4m 48s master
master
4m 48s
added .coq-native to .gitignore Nix CI for bundle rocq-9.0-mc2.4.0 #1: Commit fcb5a21 pushed by hivert
23m 53s master
master
23m 53s
added .coq-native to .gitignore Nix CI for bundle coq8.18-mc2.4.0 #1: Commit fcb5a21 pushed by hivert
4m 50s master
master
4m 50s
added .coq-native to .gitignore Nix CI for bundle coq8.20-mc2.4.0 #1: Commit fcb5a21 pushed by hivert
6m 15s master
master
6m 15s
Mathcomp-2.4 compat Nix CI for bundle coq8.18-mc2.3.0 #4: Commit fa53c6d pushed by hivert
18m 43s master
master
18m 43s
Mathcomp-2.4 compat Nix CI for bundle coq8.19-mc2.3.0 #5: Commit fa53c6d pushed by hivert
2m 30s master
master
2m 30s
Mathcomp-2.4 compat Nix CI for bundle coq8.20-mc2.3.0 #4: Commit fa53c6d pushed by hivert
2m 24s master
master
2m 24s