Skip to content

Actions: rocq-community/fourcolor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
294 workflow runs
294 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #66 from CohenCyril/mc1300 Nix CI for bundle 8.17+2.0 #39: Commit 2cd48e2 pushed by CohenCyril
2m 59s master
master
2m 59s
Merge pull request #66 from CohenCyril/mc1300 Nix CI for bundle 8.18+2.0 #27: Commit 2cd48e2 pushed by CohenCyril
3m 45s master
master
3m 45s
Merge pull request #66 from CohenCyril/mc1300 Nix CI for bundle 8.16+2.0 #39: Commit 2cd48e2 pushed by CohenCyril
2m 58s master
master
2m 58s
Merge pull request #66 from CohenCyril/mc1300 Docker CI #970: Commit 2cd48e2 pushed by CohenCyril
25m 28s master
master
25m 28s
Docker CI Docker CI #969: Scheduled
17m 15s master
master
17m 15s
Docker CI Docker CI #968: Scheduled
25m 30s master
master
25m 30s
Adapt to mc#1300 Docker CI #967: Pull request #65 synchronize by Tragicus
17m 37s Tragicus:mc1300
Tragicus:mc1300
17m 37s
Adapt to mc#1300 Nix CI for bundle 8.16+2.0 #38: Pull request #65 synchronize by Tragicus
20m 11s
20m 11s
Adapt to mc#1300 Nix CI for bundle 8.18+2.0 #26: Pull request #65 synchronize by Tragicus
19m 30s
19m 30s
Adapt to mc#1300 Nix CI for bundle 8.17+2.0 #38: Pull request #65 synchronize by Tragicus
19m 27s
19m 27s
Docker CI Docker CI #966: Scheduled
17m 18s master
master
17m 18s
Docker CI Docker CI #965: Scheduled
17m 1s master
master
17m 1s
Docker CI Docker CI #964: Scheduled
16m 25s master
master
16m 25s
Docker CI Docker CI #963: Scheduled
16m 32s master
master
16m 32s
Another way to adapt to math-comp#1300 Docker CI #962: Pull request #66 synchronize by CohenCyril
3m 50s CohenCyril:mc1300
CohenCyril:mc1300
3m 50s
Another way to adapt to math-comp#1300 Nix CI for bundle 8.16+2.0 #37: Pull request #66 synchronize by CohenCyril
20m 42s
20m 42s
Another way to adapt to math-comp#1300 Nix CI for bundle 8.18+2.0 #25: Pull request #66 synchronize by CohenCyril
20m 50s
20m 50s
Another way to adapt to math-comp#1300 Nix CI for bundle 8.17+2.0 #37: Pull request #66 synchronize by CohenCyril
20m 30s
20m 30s
Another way to adapt to math-comp#1300 Docker CI #961: Pull request #66 opened by CohenCyril
16m 29s CohenCyril:mc1300
CohenCyril:mc1300
16m 29s
Another way to adapt to math-comp#1300 Nix CI for bundle 8.16+2.0 #36: Pull request #66 opened by CohenCyril
32m 22s
32m 22s
Another way to adapt to math-comp#1300 Nix CI for bundle 8.17+2.0 #36: Pull request #66 opened by CohenCyril
32m 11s
32m 11s
Another way to adapt to math-comp#1300 Nix CI for bundle 8.18+2.0 #24: Pull request #66 opened by CohenCyril
31m 49s
31m 49s
Docker CI Docker CI #960: Scheduled
17m 20s master
master
17m 20s
Docker CI Docker CI #959: Scheduled
16m 34s master
master
16m 34s
Adapt to mc#1300 Docker CI #958: Pull request #65 opened by Tragicus
16m 37s Tragicus:mc1300
Tragicus:mc1300
16m 37s
ProTip! You can narrow down the results and go further in time using created:<2024-11-27 or the other filters available.