Skip to content

Actions: math-comp/Coq-Combi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
183 workflow runs
183 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added docroot to CoqProject Nix CI for bundle coq8.19-mc2.2.0 #19: Commit e22d9f9 pushed by hivert
February 11, 2024 20:34 6m 57s master
master
February 11, 2024 20:34 6m 57s
Added docroot to CoqProject Nix CI for bundle coq8.17-mc2.1.0 #19: Commit e22d9f9 pushed by hivert
February 11, 2024 20:34 8m 15s master
master
February 11, 2024 20:34 8m 15s
Added docroot to CoqProject Nix CI for bundle coq8.18-mc2.1.0 #20: Commit e22d9f9 pushed by hivert
February 11, 2024 20:34 6m 23s master
master
February 11, 2024 20:34 6m 23s
Added docroot to CoqProject Nix CI for bundle coq8.18-mc2.2.0 #19: Commit e22d9f9 pushed by hivert
February 11, 2024 20:34 7m 30s master
master
February 11, 2024 20:34 7m 30s
Added docroot to CoqProject Nix CI for bundle coq8.17-mc2.2.0 #19: Commit e22d9f9 pushed by hivert
February 11, 2024 20:34 21m 12s master
master
February 11, 2024 20:34 21m 12s
Bruhat Nix CI for bundle coq8.19-mc2.2.0 #18: Pull request #7 synchronize by hivert
February 11, 2024 06:53 6m 52s
February 11, 2024 06:53 6m 52s
Bruhat Nix CI for bundle coq8.18-mc2.2.0 #18: Pull request #7 synchronize by hivert
February 11, 2024 06:53 7m 35s
February 11, 2024 06:53 7m 35s
Bruhat Nix CI for bundle coq8.17-mc2.1.0 #18: Pull request #7 synchronize by hivert
February 11, 2024 06:53 7m 58s
February 11, 2024 06:53 7m 58s
Bruhat Nix CI for bundle coq8.17-mc2.2.0 #18: Pull request #7 synchronize by hivert
February 11, 2024 06:53 20m 57s
February 11, 2024 06:53 20m 57s
Bruhat Nix CI for bundle coq8.18-mc2.1.0 #19: Pull request #7 synchronize by hivert
February 11, 2024 06:53 6m 23s
February 11, 2024 06:53 6m 23s
Bruhat Nix CI for bundle coq8.18-mc2.1.0 #18: Pull request #7 synchronize by hivert
February 11, 2024 00:17 6m 21s
February 11, 2024 00:17 6m 21s
Bruhat Nix CI for bundle coq8.19-mc2.2.0 #17: Pull request #7 synchronize by hivert
February 11, 2024 00:17 6m 53s
February 11, 2024 00:17 6m 53s
Bruhat Nix CI for bundle coq8.17-mc2.2.0 #17: Pull request #7 synchronize by hivert
February 11, 2024 00:17 20m 3s
February 11, 2024 00:17 20m 3s
Bruhat Nix CI for bundle coq8.17-mc2.1.0 #17: Pull request #7 synchronize by hivert
February 11, 2024 00:17 6m 38s
February 11, 2024 00:17 6m 38s
Bruhat Nix CI for bundle coq8.18-mc2.2.0 #17: Pull request #7 synchronize by hivert
February 11, 2024 00:17 7m 31s
February 11, 2024 00:17 7m 31s
Bruhat Nix CI for bundle coq8.17-mc2.1.0 #16: Pull request #7 synchronize by hivert
February 10, 2024 23:59 6m 26s
February 10, 2024 23:59 6m 26s
Bruhat Nix CI for bundle coq8.18-mc2.2.0 #16: Pull request #7 synchronize by hivert
February 10, 2024 23:59 7m 48s
February 10, 2024 23:59 7m 48s
Bruhat Nix CI for bundle coq8.18-mc2.1.0 #17: Pull request #7 synchronize by hivert
February 10, 2024 23:59 6m 28s
February 10, 2024 23:59 6m 28s
Bruhat Nix CI for bundle coq8.19-mc2.2.0 #16: Pull request #7 synchronize by hivert
February 10, 2024 23:59 6m 53s
February 10, 2024 23:59 6m 53s
Bruhat Nix CI for bundle coq8.17-mc2.2.0 #16: Pull request #7 synchronize by hivert
February 10, 2024 23:59 20m 7s
February 10, 2024 23:59 20m 7s
partition.v: documentation typos Nix CI for bundle coq8.19-mc2.2.0 #15: Commit be0b3d7 pushed by hivert
February 1, 2024 08:55 6m 52s master
master
February 1, 2024 08:55 6m 52s
partition.v: documentation typos Nix CI for bundle coq8.18-mc2.1.0 #16: Commit be0b3d7 pushed by hivert
February 1, 2024 08:55 6m 19s master
master
February 1, 2024 08:55 6m 19s
partition.v: documentation typos Nix CI for bundle coq8.17-mc2.2.0 #15: Commit be0b3d7 pushed by hivert
February 1, 2024 08:55 21m 21s master
master
February 1, 2024 08:55 21m 21s
partition.v: documentation typos Nix CI for bundle coq8.17-mc2.1.0 #15: Commit be0b3d7 pushed by hivert
February 1, 2024 08:55 7m 57s master
master
February 1, 2024 08:55 7m 57s
partition.v: documentation typos Nix CI for bundle coq8.18-mc2.2.0 #15: Commit be0b3d7 pushed by hivert
February 1, 2024 08:55 7m 20s master
master
February 1, 2024 08:55 7m 20s