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

Typo in the doc + minor proof improvements Nix CI for bundle coq8.18-mc2.2.0 #14: Commit fb323d7 pushed by hivert
February 1, 2024 08:03 8m 7s master
master
February 1, 2024 08:03 8m 7s
Typo in the doc + minor proof improvements Nix CI for bundle coq8.18-mc2.1.0 #15: Commit fb323d7 pushed by hivert
February 1, 2024 08:03 6m 13s master
master
February 1, 2024 08:03 6m 13s
Typo in the doc + minor proof improvements Nix CI for bundle coq8.17-mc2.2.0 #14: Commit fb323d7 pushed by hivert
February 1, 2024 08:03 21m 41s master
master
February 1, 2024 08:03 21m 41s
Typo in the doc + minor proof improvements Nix CI for bundle coq8.19-mc2.2.0 #14: Commit fb323d7 pushed by hivert
February 1, 2024 08:03 6m 53s master
master
February 1, 2024 08:03 6m 53s
Typo in the doc + minor proof improvements Nix CI for bundle coq8.17-mc2.1.0 #14: Commit fb323d7 pushed by hivert
February 1, 2024 08:03 7m 54s master
master
February 1, 2024 08:03 7m 54s
partition.v: documentation typos Nix CI for bundle coq8.18-mc2.2.0 #13: Pull request #14 opened by darijgr
January 31, 2024 21:45 7m 33s
January 31, 2024 21:45 7m 33s
partition.v: documentation typos Nix CI for bundle coq8.17-mc2.2.0 #13: Pull request #14 opened by darijgr
January 31, 2024 21:45 21m 59s
January 31, 2024 21:45 21m 59s
partition.v: documentation typos Nix CI for bundle coq8.18-mc2.1.0 #14: Pull request #14 opened by darijgr
January 31, 2024 21:45 6m 16s
January 31, 2024 21:45 6m 16s
partition.v: documentation typos Nix CI for bundle coq8.17-mc2.1.0 #13: Pull request #14 opened by darijgr
January 31, 2024 21:45 7m 56s
January 31, 2024 21:45 7m 56s
partition.v: documentation typos Nix CI for bundle coq8.19-mc2.2.0 #13: Pull request #14 opened by darijgr
January 31, 2024 21:45 6m 42s
January 31, 2024 21:45 6m 42s
Merge branch 'master' of github.com:math-comp/Coq-Combi Nix CI for bundle coq8.17-mc2.1.0 #12: Commit 73fe4fc pushed by hivert
January 31, 2024 21:25 7m 44s master
master
January 31, 2024 21:25 7m 44s
Merge branch 'master' of github.com:math-comp/Coq-Combi Nix CI for bundle coq8.18-mc2.2.0 #12: Commit 73fe4fc pushed by hivert
January 31, 2024 21:25 7m 42s master
master
January 31, 2024 21:25 7m 42s
Merge branch 'master' of github.com:math-comp/Coq-Combi Nix CI for bundle coq8.18-mc2.1.0 #13: Commit 73fe4fc pushed by hivert
January 31, 2024 21:25 6m 16s master
master
January 31, 2024 21:25 6m 16s
Merge branch 'master' of github.com:math-comp/Coq-Combi Nix CI for bundle coq8.17-mc2.2.0 #12: Commit 73fe4fc pushed by hivert
January 31, 2024 21:25 20m 59s master
master
January 31, 2024 21:25 20m 59s
Merge branch 'master' of github.com:math-comp/Coq-Combi Nix CI for bundle coq8.19-mc2.2.0 #12: Commit 73fe4fc pushed by hivert
January 31, 2024 21:25 6m 50s master
master
January 31, 2024 21:25 6m 50s
Update README.md for CI badges Nix CI for bundle coq8.18-mc2.1.0 #12: Commit 9278cd3 pushed by hivert
January 31, 2024 16:17 6m 23s master
master
January 31, 2024 16:17 6m 23s
Update README.md for CI badges Nix CI for bundle coq8.17-mc2.2.0 #11: Commit 9278cd3 pushed by hivert
January 31, 2024 16:17 21m 33s master
master
January 31, 2024 16:17 21m 33s
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