Skip to content

Actions: math-comp/Coq-Combi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
128 workflow runs
128 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Doc improvements in bintree Nix CI for bundle rocq-9.0-mc2.5.0 #36: Commit 80c0f5b pushed by hivert
6m 18s master
master
6m 18s
Doc improvements in bintree Nix CI for bundle rocq-9.1-mc2.5.0 #36: Commit 80c0f5b pushed by hivert
6m 15s master
master
6m 15s
Doc improvements in bintree Nix CI for bundle rocq-9.1-mcmaster #36: Commit 80c0f5b pushed by hivert
6m 59s master
master
6m 59s
Doc fix in ordtree Nix CI for bundle rocq-9.1-mcmaster #35: Commit 779a328 pushed by hivert
7m 31s master
master
7m 31s
Doc fix in ordtree Nix CI for bundle rocq-9.0-mc2.5.0 #35: Commit 779a328 pushed by hivert
6m 51s master
master
6m 51s
Doc fix in ordtree Nix CI for bundle rocq-9.1-mc2.5.0 #35: Commit 779a328 pushed by hivert
6m 28s master
master
6m 28s
Fix Frobenius_ident title in doc Nix CI for bundle rocq-9.0-mc2.5.0 #34: Commit 18cd407 pushed by hivert
6m 57s master
master
6m 57s
Fix Frobenius_ident title in doc Nix CI for bundle rocq-9.1-mcmaster #34: Commit 18cd407 pushed by hivert
7m 14s master
master
7m 14s
Fix Frobenius_ident title in doc Nix CI for bundle rocq-9.1-mc2.5.0 #34: Commit 18cd407 pushed by hivert
6m 9s master
master
6m 9s
Update documentation links in README.md Nix CI for bundle rocq-9.0-mc2.5.0 #33: Commit 949cf94 pushed by hivert
7m 26s master
master
7m 26s
Update documentation links in README.md Nix CI for bundle rocq-9.1-mc2.5.0 #33: Commit 949cf94 pushed by hivert
6m 33s master
master
6m 33s
Update documentation links in README.md Nix CI for bundle rocq-9.1-mcmaster #33: Commit 949cf94 pushed by hivert
7m 28s master
master
7m 28s
Ordered tree and Bruhat order in readme. Nix CI for bundle rocq-9.1-mcmaster #32: Commit 916a3fe pushed by hivert
7m 59s master
master
7m 59s
Ordered tree and Bruhat order in readme. Nix CI for bundle rocq-9.0-mc2.5.0 #32: Commit 916a3fe pushed by hivert
6m 24s master
master
6m 24s
Ordered tree and Bruhat order in readme. Nix CI for bundle rocq-9.1-mc2.5.0 #32: Commit 916a3fe pushed by hivert
6m 31s master
master
6m 31s
Update to MC-dev Nix CI for bundle rocq-9.1-mcmaster #31: Commit 6b46a2a pushed by hivert
7m 12s master
master
7m 12s
Update to MC-dev Nix CI for bundle rocq-9.0-mc2.5.0 #31: Commit 6b46a2a pushed by hivert
6m 40s master
master
6m 40s
Update to MC-dev Nix CI for bundle rocq-9.1-mc2.5.0 #31: Commit 6b46a2a pushed by hivert
6m 30s master
master
6m 30s
Merge pull request #19 from math-comp/Present Nix CI for bundle rocq-9.1-mcmaster #30: Commit b54a568 pushed by hivert
2m 0s master
master
2m 0s
Merge pull request #19 from math-comp/Present Nix CI for bundle rocq-9.0-mc2.5.0 #30: Commit b54a568 pushed by hivert
1m 57s master
master
1m 57s
Merge pull request #19 from math-comp/Present Nix CI for bundle rocq-9.1-mc2.5.0 #30: Commit b54a568 pushed by hivert
2m 5s master
master
2m 5s
Bruhat Nix CI for bundle rocq-9.1-mc2.5.0 #29: Pull request #7 synchronize by hivert
5m 27s
5m 27s
Bruhat Nix CI for bundle rocq-9.0-mc2.5.0 #29: Pull request #7 synchronize by hivert
6m 15s
6m 15s
Bruhat Nix CI for bundle rocq-9.1-mcmaster #29: Pull request #7 synchronize by hivert
7m 2s
7m 2s
Bruhat Nix CI for bundle rocq-9.0-mc2.5.0 #28: Pull request #7 synchronize by hivert
6m 14s
6m 14s