Skip to content

Actions: math-comp/Coq-Combi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
266 workflow runs
266 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md for CI badges Nix CI for bundle coq8.17-mc2.1.0 #11: Commit 9278cd3 pushed by hivert
January 31, 2024 16:17 8m 8s master
master
January 31, 2024 16:17 8m 8s
Update README.md for CI badges Nix CI for bundle coq8.18-mc2.2.0 #11: Commit 9278cd3 pushed by hivert
January 31, 2024 16:17 7m 43s master
master
January 31, 2024 16:17 7m 43s
Update README.md for CI badges Nix CI for bundle coq8.19-mc2.2.0 #11: Commit 9278cd3 pushed by hivert
January 31, 2024 16:17 7m 4s master
master
January 31, 2024 16:17 7m 4s
Removed unused order hypothesis in Greene_rel Nix CI for bundle coq8.18-mc2.2.0 #10: Commit bf9c8ea pushed by hivert
January 31, 2024 14:23 7m 39s master
master
January 31, 2024 14:23 7m 39s
Removed unused order hypothesis in Greene_rel Nix CI for bundle coq8.17-mc2.1.0 #10: Commit bf9c8ea pushed by hivert
January 31, 2024 14:23 7m 56s master
master
January 31, 2024 14:23 7m 56s
Removed unused order hypothesis in Greene_rel Nix CI for bundle coq8.19-mc2.2.0 #10: Commit bf9c8ea pushed by hivert
January 31, 2024 14:23 6m 55s master
master
January 31, 2024 14:23 6m 55s
Removed unused order hypothesis in Greene_rel Nix CI for bundle coq8.17-mc2.2.0 #10: Commit bf9c8ea pushed by hivert
January 31, 2024 14:23 21m 46s master
master
January 31, 2024 14:23 21m 46s
Removed unused order hypothesis in Greene_rel Nix CI for bundle coq8.18-mc2.1.0 #11: Commit bf9c8ea pushed by hivert
January 31, 2024 14:23 6m 33s master
master
January 31, 2024 14:23 6m 33s
Mutiple nix bundle Nix CI for bundle coq8.17-mc2.2.0 #9: Commit 68bdf45 pushed by hivert
January 31, 2024 12:17 21m 12s master
master
January 31, 2024 12:17 21m 12s
Mutiple nix bundle Nix CI for bundle coq8.18-mc2.1.0 #10: Commit 68bdf45 pushed by hivert
January 31, 2024 12:17 6m 7s master
master
January 31, 2024 12:17 6m 7s
Mutiple nix bundle Nix CI for bundle coq8.18-mc2.2.0 #9: Commit 68bdf45 pushed by hivert
January 31, 2024 12:17 8m 6s master
master
January 31, 2024 12:17 8m 6s
Mutiple nix bundle Nix CI for bundle coq8.17-mc2.1.0 #9: Commit 68bdf45 pushed by hivert
January 31, 2024 12:17 8m 12s master
master
January 31, 2024 12:17 8m 12s
Mutiple nix bundle Nix CI for bundle coq8.19-mc2.2.0 #9: Commit 68bdf45 pushed by hivert
January 31, 2024 12:17 7m 14s master
master
January 31, 2024 12:17 7m 14s
Mutiple nix bundle Nix CI for bundle coq8.18-mc2.1.0 #9: Pull request #13 synchronize by hivert
January 31, 2024 11:51 6m 22s nix
nix
January 31, 2024 11:51 6m 22s
Mutiple nix bundle Nix CI for bundle coq8.17-mc2.1.0 #8: Pull request #13 synchronize by hivert
January 31, 2024 11:51 7m 43s nix
nix
January 31, 2024 11:51 7m 43s
Mutiple nix bundle Nix CI for bundle coq8.19-mc2.2.0 #8: Pull request #13 synchronize by hivert
January 31, 2024 11:51 6m 48s nix
nix
January 31, 2024 11:51 6m 48s
Mutiple nix bundle Nix CI for bundle coq8.18-mc2.2.0 #8: Pull request #13 synchronize by hivert
January 31, 2024 11:51 7m 24s nix
nix
January 31, 2024 11:51 7m 24s
Mutiple nix bundle Nix CI for bundle coq8.17-mc2.2.0 #8: Pull request #13 synchronize by hivert
January 31, 2024 11:51 21m 8s nix
nix
January 31, 2024 11:51 21m 8s
Mutiple nix bundle Nix CI for bundle 8.18 #30: Pull request #13 synchronize by hivert
January 31, 2024 11:51 1m 16s
January 31, 2024 11:51 1m 16s
Mutiple nix bundle Nix CI for bundle coq8.18-mc2.2.0 #7: Pull request #13 synchronize by hivert
January 31, 2024 11:28 7m 33s nix
nix
January 31, 2024 11:28 7m 33s
Mutiple nix bundle Nix CI for bundle coq8.16-mc2.2.0 #7: Pull request #13 synchronize by hivert
January 31, 2024 11:28 19m 53s nix
nix
January 31, 2024 11:28 19m 53s
Mutiple nix bundle Nix CI for bundle coq8.19-mc2.2.0 #7: Pull request #13 synchronize by hivert
January 31, 2024 11:28 7m 0s nix
nix
January 31, 2024 11:28 7m 0s
Mutiple nix bundle Nix CI for bundle coq8.17-mc2.1.0 #7: Pull request #13 synchronize by hivert
January 31, 2024 11:28 8m 0s nix
nix
January 31, 2024 11:28 8m 0s
Mutiple nix bundle Nix CI for bundle coq8.18-mc2.1.0 #8: Pull request #13 synchronize by hivert
January 31, 2024 11:28 7m 39s nix
nix
January 31, 2024 11:28 7m 39s
Mutiple nix bundle Nix CI for bundle coq8.17-mc2.2.0 #7: Pull request #13 synchronize by hivert
January 31, 2024 11:28 21m 9s nix
nix
January 31, 2024 11:28 21m 9s