Skip to content

Actions: coq-community/fourcolor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
461 workflow runs
461 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker CI Docker CI #963: Scheduled
December 15, 2024 05:16 16m 32s master
master
December 15, 2024 05:16 16m 32s
Another way to adapt to math-comp#1300 Docker CI #962: Pull request #66 synchronize by CohenCyril
December 9, 2024 15:43 3m 50s CohenCyril:mc1300
CohenCyril:mc1300
December 9, 2024 15:43 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
December 9, 2024 15:43 20m 42s
December 9, 2024 15:43 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
December 9, 2024 15:43 20m 50s
December 9, 2024 15:43 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
December 9, 2024 15:43 20m 30s
December 9, 2024 15:43 20m 30s
Another way to adapt to math-comp#1300 Docker CI #961: Pull request #66 opened by CohenCyril
December 9, 2024 15:41 16m 29s CohenCyril:mc1300
CohenCyril:mc1300
December 9, 2024 15:41 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
December 9, 2024 15:41 32m 22s
December 9, 2024 15:41 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
December 9, 2024 15:41 32m 11s
December 9, 2024 15:41 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
December 9, 2024 15:41 31m 49s
December 9, 2024 15:41 31m 49s
Docker CI Docker CI #960: Scheduled
December 8, 2024 05:16 17m 20s master
master
December 8, 2024 05:16 17m 20s
Docker CI Docker CI #959: Scheduled
December 1, 2024 05:16 16m 34s master
master
December 1, 2024 05:16 16m 34s
Adapt to mc#1300 Docker CI #958: Pull request #65 opened by Tragicus
November 27, 2024 16:18 16m 37s Tragicus:mc1300
Tragicus:mc1300
November 27, 2024 16:18 16m 37s
Adapt to mc#1300 Nix CI for bundle 8.16+2.0 #35: Pull request #65 opened by Tragicus
November 27, 2024 16:18 32m 16s
November 27, 2024 16:18 32m 16s
Adapt to mc#1300 Nix CI for bundle 8.18+2.0 #23: Pull request #65 opened by Tragicus
November 27, 2024 16:18 31m 33s
November 27, 2024 16:18 31m 33s
Adapt to mc#1300 Nix CI for bundle 8.17+2.0 #35: Pull request #65 opened by Tragicus
November 27, 2024 16:18 31m 29s
November 27, 2024 16:18 31m 29s
Docker CI Docker CI #957: Scheduled
November 24, 2024 05:16 35m 33s master
master
November 24, 2024 05:16 35m 33s
Docker CI Docker CI #956: Scheduled
November 17, 2024 05:16 34m 22s master
master
November 17, 2024 05:16 34m 22s
modify meta.yml and generate README.md for new building instructions Nix CI for bundle 8.18+2.0 #22: Commit 1739214 pushed by ybertot
November 14, 2024 15:28 2m 19s master
master
November 14, 2024 15:28 2m 19s
modify meta.yml and generate README.md for new building instructions Nix CI for bundle 8.16+2.0 #34: Commit 1739214 pushed by ybertot
November 14, 2024 15:28 2m 22s master
master
November 14, 2024 15:28 2m 22s
modify meta.yml and generate README.md for new building instructions Nix CI for bundle 8.17+2.0 #34: Commit 1739214 pushed by ybertot
November 14, 2024 15:28 2m 26s master
master
November 14, 2024 15:28 2m 26s
modify meta.yml and generate README.md for new building instructions Docker CI #955: Commit 1739214 pushed by ybertot
November 14, 2024 15:28 34m 58s master
master
November 14, 2024 15:28 34m 58s
Split off reals into package coq-fourcolor-reals that is a dependency of coq-fourcolor Docker CI #954: Pull request #64 synchronize by palmskog
November 14, 2024 13:00 34m 26s reals
reals
November 14, 2024 13:00 34m 26s
Split off reals into package coq-fourcolor-reals that is a dependency of coq-fourcolor Nix CI for bundle 8.18+2.0 #21: Pull request #64 synchronize by palmskog
November 14, 2024 13:00 18m 52s
November 14, 2024 13:00 18m 52s
Split off reals into package coq-fourcolor-reals that is a dependency of coq-fourcolor Nix CI for bundle 8.17+2.0 #33: Pull request #64 synchronize by palmskog
November 14, 2024 13:00 19m 42s
November 14, 2024 13:00 19m 42s
Split off reals into package coq-fourcolor-reals that is a dependency of coq-fourcolor Nix CI for bundle 8.16+2.0 #33: Pull request #64 synchronize by palmskog
November 14, 2024 13:00 20m 29s
November 14, 2024 13:00 20m 29s