Skip to content

Actions: math-comp/Coq-Combi

Actions

Nix CI for bundle coq8.19-mc2.2.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq8.19-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.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
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.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.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
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
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
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.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.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.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
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.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.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.19-mc2.2.0 #6: Pull request #13 synchronize by hivert
January 31, 2024 09:44 3m 39s nix
nix
January 31, 2024 09:44 3m 39s
Mutiple nix bundle Nix CI for bundle coq8.19-mc2.2.0 #5: Pull request #13 synchronize by hivert
January 31, 2024 09:21 3m 14s nix
nix
January 31, 2024 09:21 3m 14s
Mutiple nix bundle Nix CI for bundle coq8.19-mc2.2.0 #4: Pull request #13 synchronize by hivert
January 31, 2024 09:12 3m 40s nix
nix
January 31, 2024 09:12 3m 40s
Mutiple nix bundle Nix CI for bundle coq8.19-mc2.2.0 #3: Pull request #13 synchronize by hivert
January 31, 2024 08:59 3m 40s nix
nix
January 31, 2024 08:59 3m 40s
Mutiple nix bundle Nix CI for bundle coq8.19-mc2.2.0 #2: Pull request #13 synchronize by hivert
January 31, 2024 08:50 3m 58s nix
nix
January 31, 2024 08:50 3m 58s
Mutiple nix bundle Nix CI for bundle coq8.19-mc2.2.0 #1: Pull request #13 synchronize by hivert
January 31, 2024 08:39 3m 38s nix
nix
January 31, 2024 08:39 3m 38s