Skip to content

Actions: math-comp/Coq-Combi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
96 workflow runs
96 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
CPP2025 link Nix CI for bundle coq8.19-mc2.2.0 #43: Commit 101e69e pushed by hivert
5m 12s master
master
5m 12s
CPP2025 link Nix CI for bundle coq8.18-mc2.2.0 #43: Commit 101e69e pushed by hivert
6m 3s master
master
6m 3s
CPP2025 link Nix CI for bundle coq8.19-mc2.2.0 #42: Commit c7b772e pushed by hivert
5m 36s master
master
5m 36s
CPP2025 link Nix CI for bundle coq8.18-mc2.2.0 #42: Commit c7b772e pushed by hivert
6m 6s master
master
6m 6s
Update to Math-Comp 2.3 Nix CI for bundle coq8.19-mc2.2.0 #41: Pull request #16 synchronize by hivert
1m 19s
1m 19s
Update to Math-Comp 2.3 Nix CI for bundle coq8.18-mc2.2.0 #41: Pull request #16 synchronize by hivert
1m 5s
1m 5s
Update to Math-Comp 2.3 Nix CI for bundle coq8.18-mc2.2.0 #40: Pull request #16 synchronize by hivert
50s
50s
Update to Math-Comp 2.3 Nix CI for bundle coq8.19-mc2.2.0 #40: Pull request #16 synchronize by hivert
57s
57s
Update to Math-Comp 2.3 Nix CI for bundle coq8.18-mc2.2.0 #39: Pull request #16 opened by hivert
46s
46s
Update to Math-Comp 2.3 Nix CI for bundle coq8.19-mc2.2.0 #39: Pull request #16 opened by hivert
46s
46s
Bruhat Nix CI for bundle coq8.19-mc2.2.0 #38: Pull request #7 synchronize by hivert
6m 11s
6m 11s
Bruhat Nix CI for bundle coq8.18-mc2.2.0 #38: Pull request #7 synchronize by hivert
6m 51s
6m 51s
Bruhat Nix CI for bundle coq8.19-mc2.2.0 #37: Pull request #7 synchronize by hivert
5m 54s
5m 54s
Bruhat Nix CI for bundle coq8.18-mc2.2.0 #37: Pull request #7 synchronize by hivert
6m 52s
6m 52s
Compat Note Nix CI for bundle coq8.18-mc2.2.0 #36: Commit e62b68b pushed by hivert
6m 4s master
master
6m 4s
Compat Note Nix CI for bundle coq8.19-mc2.2.0 #36: Commit e62b68b pushed by hivert
5m 10s master
master
5m 10s