Skip to content

Actions: rocq-community/parseque

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
25 workflow runs
25 workflow runs

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
implementations of error reporting, positions, and branch committing Docker CI #36: Commit 2d8e2d0 pushed by womeier
2m 10s master
master
2m 10s
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 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 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 Docker CI #31: Pull request #18 opened by raoxiaojia
2m 43s raoxiaojia:error-reporting
raoxiaojia:error-reporting
2m 43s
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 Docker CI #29: Pull request #17 synchronize by womeier
5m 19s rocq-9.1
rocq-9.1
5m 19s
CI: rocq 9.1 Docker CI #28: Pull request #17 opened by womeier
5m 15s rocq-9.1
rocq-9.1
5m 15s
rename coq-parseque into rocq-parseque Docker CI #27: Commit 775932f pushed by womeier
2m 56s master
master
2m 56s
Rocq 9.0 update Docker CI #26: Commit 6488498 pushed by womeier
2m 55s master
master
2m 55s
Rocq/Coq 9.0 Docker CI #25: Pull request #16 synchronize by womeier
2m 55s 9.0
9.0
2m 55s
Rocq/Coq 9.0 Docker CI #24: Pull request #16 synchronize by womeier
2m 50s 9.0
9.0
2m 50s
Rocq/Coq 9.0 Docker CI #23: Pull request #16 synchronize by womeier
3m 19s 9.0
9.0
3m 19s
Rocq/Coq 9.0 Docker CI #22: Pull request #16 synchronize by womeier
13m 5s 9.0
9.0
13m 5s
Rocq/Coq 9.0 Docker CI #21: Pull request #16 synchronize by womeier
42s 9.0
9.0
42s
Rocq/Coq 9.0 Docker CI #20: Pull request #16 synchronize by womeier
12m 33s 9.0
9.0
12m 33s
Rocq/Coq 9.0 Docker CI #19: Pull request #16 synchronize by womeier
3m 17s 9.0
9.0
3m 17s
Rocq/Coq 9.0 Docker CI #18: Pull request #16 synchronize by womeier
2m 55s 9.0
9.0
2m 55s
Rocq/Coq 9.0 Docker CI #17: Pull request #16 synchronize by womeier
2m 37s 9.0
9.0
2m 37s
Rocq/Coq 9.0 Docker CI #16: Pull request #16 opened by womeier
2m 58s 9.0
9.0
2m 58s
remove coq overlays Docker CI #15: Commit 0681daf pushed by womeier
2m 51s master
master
2m 51s
fix nix ci Docker CI #14: Commit cacd439 pushed by womeier
2m 44s master
master
2m 44s
initial nix config Docker CI #13: Commit 1bf485d pushed by womeier
2m 38s master
master
2m 38s
remove sizedVector Docker CI #12: Commit 49e3225 pushed by womeier
2m 42s master
master
2m 42s