Skip to content

Actions: rocq-community/parseque

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow runs
76 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
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 Nix CI for bundle 9.0 #6: Pull request #16 synchronize by womeier
1m 45s 9.0
9.0
1m 45s
Rocq/Coq 9.0 Nix CI for bundle 8.20 #12: Pull request #16 synchronize by womeier
49s
49s
Rocq/Coq 9.0 Nix CI for bundle 9.0 #5: Pull request #16 synchronize by womeier
1m 12s 9.0
9.0
1m 12s
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 Nix CI for bundle 8.20 #11: Pull request #16 synchronize by womeier
40s
40s
Rocq/Coq 9.0 Nix CI for bundle 9.0 #4: Pull request #16 synchronize by womeier
1m 43s 9.0
9.0
1m 43s
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 Nix CI for bundle 8.20 #10: Pull request #16 synchronize by womeier
41s
41s
Rocq/Coq 9.0 Docker CI #16: Pull request #16 opened by womeier
2m 58s 9.0
9.0
2m 58s
Rocq/Coq 9.0 Nix CI for bundle 9.0 #3: Pull request #16 opened by womeier
1m 46s 9.0
9.0
1m 46s
Rocq/Coq 9.0 Nix CI for bundle 8.20 #9: Pull request #16 opened by womeier
42s
42s
remove coq overlays Docker CI #15: Commit 0681daf pushed by womeier
2m 51s master
master
2m 51s
remove coq overlays Nix CI for bundle 8.20 #8: Commit 0681daf pushed by womeier
2m 0s master
master
2m 0s
fix nix ci Nix CI for bundle 8.20 #7: Commit cacd439 pushed by womeier
1m 58s master
master
1m 58s
fix nix ci Docker CI #14: Commit cacd439 pushed by womeier
2m 44s master
master
2m 44s
attempt to fix ci Nix CI for bundle 8.20 #6: Commit f504676 pushed by womeier
1m 58s testing
testing
1m 58s
attempt to fix ci Nix CI for bundle 8.20 #5: Commit 892c9d4 pushed by womeier
43s testing
testing
43s
initial nix config Nix CI for bundle 8.20 #4: Commit 1bf485d pushed by womeier
49s master
master
49s
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
nix github actions Nix CI for bundle 8.20 #3: Commit 421d58f pushed by womeier
1m 53s nix-setup
nix-setup
1m 53s
nix github actions Nix CI for bundle 9.0 #2: Commit 4e8af4c pushed by womeier
46s nix-setup
nix-setup
46s
nix github actions Nix CI for bundle 8.20 #2: Commit 4e8af4c pushed by womeier
1m 55s nix-setup
nix-setup
1m 55s
nix github actions Nix CI for bundle 8.20 #1: Commit 8150320 pushed by womeier
1m 54s nix-setup
nix-setup
1m 54s