Skip to content

Actions: rocq-community/parseque

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 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
Run CI for Rocq 9.2, update coq-nix-toolbox Nix CI for bundle 9.1 #8: Commit 2783700 pushed by womeier
1m 26s master
master
1m 26s
Run CI for Rocq 9.2, update coq-nix-toolbox Docker CI #35: Commit 2783700 pushed by womeier
2m 1s master
master
2m 1s
Run CI for Rocq 9.2, update coq-nix-toolbox Nix CI for bundle 9.0 #24: Commit 2783700 pushed by womeier
1m 26s master
master
1m 26s
Run CI for Rocq 9.2, update coq-nix-toolbox Nix CI for bundle 9.2 #2: Commit 2783700 pushed by womeier
1m 17s master
master
1m 17s
Run CI for Rocq 9.2, update coq-nix-toolbox Nix CI for bundle 9.1 #7: Pull request #21 opened by womeier
1m 44s
1m 44s
Run CI for Rocq 9.2, update coq-nix-toolbox Nix CI for bundle 9.2 #1: Pull request #21 opened by womeier
1m 44s rocq-9.2
rocq-9.2
1m 44s
Run CI for Rocq 9.2, update coq-nix-toolbox Nix CI for bundle 9.0 #23: Pull request #21 opened by womeier
1m 53s
1m 53s
Run CI for Rocq 9.2, update coq-nix-toolbox Nix CI for bundle 9.1 #6: Pull request #21 opened by womeier
1m 45s rocq-9.2
rocq-9.2
1m 45s
Run CI for Rocq 9.2, update coq-nix-toolbox Docker CI #34: Pull request #21 opened by womeier
2m 19s rocq-9.2
rocq-9.2
2m 19s
Run CI for Rocq 9.2, update coq-nix-toolbox Nix CI for bundle 9.0 #22: Pull request #21 opened by womeier
1m 44s rocq-9.2
rocq-9.2
1m 44s
Run CI for Rocq 9.2, update coq-nix-toolbox Nix CI for bundle 9.0 #21: Pull request #20 opened by womeier
1m 49s
1m 49s
Run CI for Rocq 9.2, update coq-nix-toolbox Nix CI for bundle 9.1 #5: Pull request #20 opened by womeier
1m 45s
1m 45s
Run CI for Rocq 9.2, update coq-nix-toolbox Docker CI #33: Pull request #20 opened by womeier
2m 24s rocq-9.2
rocq-9.2
2m 24s
trigger CI Docker CI #32: Pull request #19 opened by womeier
2m 18s ci-test
ci-test
2m 18s
Implementations of error reporting, positions, and branch committing Nix CI for bundle 9.1 #4: Pull request #18 opened by raoxiaojia
1m 57s
1m 57s
Implementations of error reporting, positions, and branch committing Docker CI #31: Pull request #18 opened by raoxiaojia
2m 43s raoxiaojia:error-reporting
raoxiaojia:error-reporting
2m 43s
Implementations of error reporting, positions, and branch committing Nix CI for bundle 9.0 #20: Pull request #18 opened by raoxiaojia
2m 1s
2m 1s
test Rocq 9.1 in CI (#17) Nix CI for bundle 9.1 #3: Commit 72098c0 pushed by womeier
1m 25s master
master
1m 25s
test Rocq 9.1 in CI (#17) Nix CI for bundle 9.0 #19: Commit 72098c0 pushed by womeier
1m 25s master
master
1m 25s
test Rocq 9.1 in CI (#17) Docker CI #30: Commit 72098c0 pushed by womeier
5m 21s master
master
5m 21s
CI: rocq 9.1 Nix CI for bundle 9.1 #2: Pull request #17 synchronize by womeier
1m 56s rocq-9.1
rocq-9.1
1m 56s
CI: rocq 9.1 Docker CI #29: Pull request #17 synchronize by womeier
5m 19s rocq-9.1
rocq-9.1
5m 19s
CI: rocq 9.1 Nix CI for bundle 9.0 #18: Pull request #17 synchronize by womeier
1m 54s rocq-9.1
rocq-9.1
1m 54s
CI: rocq 9.1 Nix CI for bundle 9.0 #17: Pull request #17 synchronize by womeier
2m 3s
2m 3s
CI: rocq 9.1 Nix CI for bundle 9.1 #1: Pull request #17 opened by womeier
1m 48s rocq-9.1
rocq-9.1
1m 48s