Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: rocq-community/huffman

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker CI Docker CI #305: Scheduled
2m 32s master
master
2m 32s
Merge pull request #53 from thery/rocq Nix CI for bundle 8.14 #54: Commit cc7d4cc pushed by thery
44s master
master
44s
Merge pull request #53 from thery/rocq Nix CI for bundle 8.15 #54: Commit cc7d4cc pushed by thery
45s master
master
45s
Merge pull request #53 from thery/rocq Nix CI for bundle 8.13 #54: Commit cc7d4cc pushed by thery
51s master
master
51s
Merge pull request #53 from thery/rocq Docker CI #304: Commit cc7d4cc pushed by thery
2m 20s master
master
2m 20s
Remove doc ref Docker CI #303: Pull request #53 opened by thery
2m 30s thery:rocq
thery:rocq
2m 30s
Remove doc ref Nix CI for bundle 8.14 #53: Pull request #53 opened by thery
1m 31s
1m 31s
Remove doc ref Nix CI for bundle 8.13 #53: Pull request #53 opened by thery
1m 28s
1m 28s
Remove doc ref Nix CI for bundle 8.15 #53: Pull request #53 opened by thery
1m 19s
1m 19s
Merge pull request #52 from thery/rocq Docker CI #302: Commit 068caaa pushed by thery
2m 34s master
master
2m 34s
Merge pull request #52 from thery/rocq Nix CI for bundle 8.15 #52: Commit 068caaa pushed by thery
46s master
master
46s
Merge pull request #52 from thery/rocq Nix CI for bundle 8.14 #52: Commit 068caaa pushed by thery
51s master
master
51s
Merge pull request #52 from thery/rocq Nix CI for bundle 8.13 #52: Commit 068caaa pushed by thery
48s master
master
48s
Docker CI Docker CI #301: Scheduled
5m 23s master
master
5m 23s
Changes Coq into Rocq Docker CI #300: Pull request #52 opened by thery
5m 22s thery:rocq
thery:rocq
5m 22s
Changes Coq into Rocq Nix CI for bundle 8.15 #51: Pull request #52 opened by thery
1m 32s thery:rocq
thery:rocq
1m 32s
Changes Coq into Rocq Nix CI for bundle 8.13 #51: Pull request #52 opened by thery
1m 34s thery:rocq
thery:rocq
1m 34s
Changes Coq into Rocq Nix CI for bundle 8.14 #51: Pull request #52 opened by thery
1m 27s thery:rocq
thery:rocq
1m 27s
Changes Coq into Rocq Nix CI for bundle 8.13 #50: Pull request #52 opened by thery
1m 38s
1m 38s
Changes Coq into Rocq Nix CI for bundle 8.14 #50: Pull request #52 opened by thery
1m 42s
1m 42s
Changes Coq into Rocq Nix CI for bundle 8.15 #50: Pull request #52 opened by thery
1m 36s
1m 36s
Merge pull request #51 from rocq-community/thery-patch-1 Nix CI for bundle 8.15 #49: Commit 8847774 pushed by palmskog
55s master
master
55s
Merge pull request #51 from rocq-community/thery-patch-1 Docker CI #299: Commit 8847774 pushed by palmskog
3m 10s master
master
3m 10s
Merge pull request #51 from rocq-community/thery-patch-1 Nix CI for bundle 8.13 #49: Commit 8847774 pushed by palmskog
1m 8s master
master
1m 8s
Merge pull request #51 from rocq-community/thery-patch-1 Nix CI for bundle 8.14 #49: Commit 8847774 pushed by palmskog
55s master
master
55s