Skip to content

Actions: math-comp/Coq-Combi

Actions

Nix CI for bundle coq8.18-mc2.2.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq8.18-mc2.2.0.yml
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CPP2025 link Nix CI for bundle coq8.18-mc2.2.0 #43: Commit 101e69e pushed by hivert
January 20, 2025 12:01 6m 3s master
master
January 20, 2025 12:01 6m 3s
CPP2025 link Nix CI for bundle coq8.18-mc2.2.0 #42: Commit c7b772e pushed by hivert
January 20, 2025 11:58 6m 6s master
master
January 20, 2025 11:58 6m 6s
Update to Math-Comp 2.3 Nix CI for bundle coq8.18-mc2.2.0 #41: Pull request #16 synchronize by hivert
January 8, 2025 20:51 1m 5s
January 8, 2025 20:51 1m 5s
Update to Math-Comp 2.3 Nix CI for bundle coq8.18-mc2.2.0 #40: Pull request #16 synchronize by hivert
January 8, 2025 18:46 50s
January 8, 2025 18:46 50s
Update to Math-Comp 2.3 Nix CI for bundle coq8.18-mc2.2.0 #39: Pull request #16 opened by hivert
January 8, 2025 13:59 46s
January 8, 2025 13:59 46s
Bruhat Nix CI for bundle coq8.18-mc2.2.0 #38: Pull request #7 synchronize by hivert
January 8, 2025 13:57 6m 51s
January 8, 2025 13:57 6m 51s
Bruhat Nix CI for bundle coq8.18-mc2.2.0 #37: Pull request #7 synchronize by hivert
January 8, 2025 12:48 6m 52s
January 8, 2025 12:48 6m 52s
Compat Note Nix CI for bundle coq8.18-mc2.2.0 #36: Commit e62b68b pushed by hivert
January 8, 2025 12:14 6m 4s master
master
January 8, 2025 12:14 6m 4s
Update Nix CI Nix CI for bundle coq8.18-mc2.2.0 #35: Commit afc00ec pushed by hivert
January 8, 2025 12:10 6m 35s master
master
January 8, 2025 12:10 6m 35s
MathComp 2.3 compat Nix CI for bundle coq8.18-mc2.2.0 #34: Pull request #15 synchronize by hivert
January 5, 2025 20:17 46s
January 5, 2025 20:17 46s
MathComp 2.3 compat Nix CI for bundle coq8.18-mc2.2.0 #33: Pull request #15 synchronize by hivert
January 5, 2025 11:27 43s
January 5, 2025 11:27 43s
MathComp 2.3 compat Nix CI for bundle coq8.18-mc2.2.0 #32: Pull request #15 synchronize by hivert
January 4, 2025 17:05 44s
January 4, 2025 17:05 44s
MathComp 2.3 compat Nix CI for bundle coq8.18-mc2.2.0 #31: Pull request #15 synchronize by hivert
January 3, 2025 16:59 45s
January 3, 2025 16:59 45s
Update Nix CI Nix CI for bundle coq8.18-mc2.2.0 #30: Commit afc00ec pushed by hivert
January 3, 2025 16:42 5m 55s master
master
January 3, 2025 16:42 5m 55s
Update Nix CI Nix CI for bundle coq8.18-mc2.2.0 #29: Commit f8c76c8 pushed by hivert
January 3, 2025 16:31 6m 17s master
master
January 3, 2025 16:31 6m 17s
MathComp 2.3 compat Nix CI for bundle coq8.18-mc2.2.0 #28: Pull request #15 synchronize by hivert
January 3, 2025 16:14 47s
January 3, 2025 16:14 47s
MathComp 2.3 compat Nix CI for bundle coq8.18-mc2.2.0 #27: Pull request #15 opened by hivert
January 3, 2025 10:24 3m 5s
January 3, 2025 10:24 3m 5s
MathComp at least 2.2.0 Nix CI for bundle coq8.18-mc2.2.0 #26: Commit 1d8633e pushed by hivert
December 3, 2024 21:22 6m 17s master
master
December 3, 2024 21:22 6m 17s
Nix for coq8.19-mc2.3.0 Nix CI for bundle coq8.18-mc2.2.0 #25: Commit 7d3c1a6 pushed by hivert
December 3, 2024 21:17 6m 12s master
master
December 3, 2024 21:17 6m 12s
MathComp at least 2.2.0 Nix CI for bundle coq8.18-mc2.2.0 #24: Commit 1d8633e pushed by hivert
December 3, 2024 20:46 6m 0s master
master
December 3, 2024 20:46 6m 0s
Commented out unneded argument specif + presentation_S5 (very long to… Nix CI for bundle coq8.18-mc2.2.0 #23: Commit d26c887 pushed by hivert
December 3, 2024 17:21 6m 8s master
master
December 3, 2024 17:21 6m 8s
Commented out unneded argument specif + presentation_S5 (very long to… Nix CI for bundle coq8.18-mc2.2.0 #22: Commit a19407a pushed by hivert
December 3, 2024 16:35 5m 57s master
master
December 3, 2024 16:35 5m 57s
Coq 8.19.2 mathcomp-2.2 compat Nix CI for bundle coq8.18-mc2.2.0 #21: Commit 05b1bd6 pushed by hivert
November 18, 2024 21:01 5m 47s master
master
November 18, 2024 21:01 5m 47s
Typos in the doc thanks to CPP referee Nix CI for bundle coq8.18-mc2.2.0 #20: Commit 92e0c7d pushed by hivert
November 18, 2024 20:44 7m 3s master
master
November 18, 2024 20:44 7m 3s
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