Skip to content

Actions: coq-community/fourcolor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
483 workflow runs
483 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Docker CI Docker CI #953: Scheduled
November 10, 2024 05:15 39m 8s master
master
November 10, 2024 05:15 39m 8s
Split off reals into package coq-fourcolor-reals that is a dependency of coq-fourcolor Docker CI #952: Pull request #64 opened by palmskog
November 6, 2024 08:53 16m 38s reals
reals
November 6, 2024 08:53 16m 38s
Split off reals into package coq-fourcolor-reals that is a dependency of coq-fourcolor Nix CI for bundle 8.16+2.0 #32: Pull request #64 opened by palmskog
November 6, 2024 08:53 30m 7s
November 6, 2024 08:53 30m 7s
Split off reals into package coq-fourcolor-reals that is a dependency of coq-fourcolor Nix CI for bundle 8.18+2.0 #20: Pull request #64 opened by palmskog
November 6, 2024 08:53 29m 32s
November 6, 2024 08:53 29m 32s
Split off reals into package coq-fourcolor-reals that is a dependency of coq-fourcolor Nix CI for bundle 8.17+2.0 #32: Pull request #64 opened by palmskog
November 6, 2024 08:53 29m 43s
November 6, 2024 08:53 29m 43s
Docker CI Docker CI #951: Scheduled
November 3, 2024 05:15 20m 40s master
master
November 3, 2024 05:15 20m 40s
Docker CI Docker CI #950: Scheduled
October 27, 2024 05:16 20m 40s master
master
October 27, 2024 05:16 20m 40s
Docker CI Docker CI #949: Scheduled
October 20, 2024 05:15 20m 59s master
master
October 20, 2024 05:15 20m 59s
Docker CI Docker CI #948: Scheduled
October 13, 2024 05:16 20m 39s master
master
October 13, 2024 05:16 20m 39s
Docker CI Docker CI #947: Scheduled
October 6, 2024 05:15 21m 1s master
master
October 6, 2024 05:15 21m 1s
Docker CI Docker CI #946: Scheduled
September 29, 2024 05:15 20m 51s master
master
September 29, 2024 05:15 20m 51s
Docker CI Docker CI #945: Scheduled
September 22, 2024 05:15 20m 48s master
master
September 22, 2024 05:15 20m 48s
Docker CI Docker CI #944: Scheduled
September 15, 2024 05:15 20m 33s master
master
September 15, 2024 05:15 20m 33s
Docker CI Docker CI #943: Scheduled
September 8, 2024 05:15 20m 55s master
master
September 8, 2024 05:15 20m 55s
Docker CI Docker CI #942: Scheduled
September 1, 2024 05:16 28m 29s master
master
September 1, 2024 05:16 28m 29s