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
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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.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.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
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
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
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
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
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
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
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.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.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.18-mc2.2.0 #6: Pull request #13 synchronize by hivert
January 31, 2024 09:44 4m 42s nix
nix
January 31, 2024 09:44 4m 42s
Mutiple nix bundle Nix CI for bundle coq8.18-mc2.2.0 #5: Pull request #13 synchronize by hivert
January 31, 2024 09:21 3m 53s nix
nix
January 31, 2024 09:21 3m 53s
Mutiple nix bundle Nix CI for bundle coq8.18-mc2.2.0 #4: Pull request #13 synchronize by hivert
January 31, 2024 09:12 4m 23s nix
nix
January 31, 2024 09:12 4m 23s
Mutiple nix bundle Nix CI for bundle coq8.18-mc2.2.0 #3: Pull request #13 synchronize by hivert
January 31, 2024 08:59 4m 30s nix
nix
January 31, 2024 08:59 4m 30s
Mutiple nix bundle Nix CI for bundle coq8.18-mc2.2.0 #2: Pull request #13 synchronize by hivert
January 31, 2024 08:50 4m 41s nix
nix
January 31, 2024 08:50 4m 41s
Mutiple nix bundle Nix CI for bundle coq8.18-mc2.2.0 #1: Pull request #13 synchronize by hivert
January 31, 2024 08:39 4m 18s nix
nix
January 31, 2024 08:39 4m 18s