Skip to content

Actions: coq-community/graph-theory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker CI Docker CI #572: Scheduled
February 2, 2024 05:29 35m 9s master
master
February 2, 2024 05:29 35m 9s
Merge pull request #37 from coq-community/ci-8.19 Docker CI #571: Commit cf3c785 pushed by palmskog
January 28, 2024 20:40 33m 0s master
master
January 28, 2024 20:40 33m 0s
CI for MathComp 2.2.0 and Coq 8.19 Docker CI #570: Pull request #37 opened by palmskog
January 28, 2024 19:49 32m 46s ci-8.19
ci-8.19
January 28, 2024 19:49 32m 46s
Docker CI Docker CI #569: Scheduled
January 26, 2024 05:29 33m 39s master
master
January 26, 2024 05:29 33m 39s
Docker CI Docker CI #568: Scheduled
January 19, 2024 05:30 33m 1s master
master
January 19, 2024 05:30 33m 1s
Docker CI Docker CI #567: Scheduled
January 12, 2024 05:30 19m 43s master
master
January 12, 2024 05:30 19m 43s
Docker CI Docker CI #566: Scheduled
January 5, 2024 05:29 19m 48s master
master
January 5, 2024 05:29 19m 48s
Merge pull request #36 from coq-community/refresh-boilerplate Docker CI #565: Commit 67c1d6f pushed by palmskog
January 1, 2024 19:51 19m 55s master
master
January 1, 2024 19:51 19m 55s
refresh boilerplate and ci Docker CI #564: Pull request #36 opened by palmskog
January 1, 2024 19:27 19m 46s refresh-boilerplate
refresh-boilerplate
January 1, 2024 19:27 19m 46s
Docker CI Docker CI #563: Scheduled
December 29, 2023 05:29 19m 51s master
master
December 29, 2023 05:29 19m 51s
Docker CI Docker CI #562: Scheduled
December 22, 2023 05:29 19m 49s master
master
December 22, 2023 05:29 19m 49s
Docker CI Docker CI #561: Scheduled
December 15, 2023 05:30 19m 44s master
master
December 15, 2023 05:30 19m 44s
Docker CI Docker CI #560: Scheduled
December 8, 2023 05:29 19m 36s master
master
December 8, 2023 05:29 19m 36s
Docker CI Docker CI #559: Scheduled
December 1, 2023 05:30 29m 52s master
master
December 1, 2023 05:30 29m 52s
Docker CI Docker CI #558: Scheduled
November 24, 2023 05:29 35m 57s master
master
November 24, 2023 05:29 35m 57s
Docker CI Docker CI #557: Scheduled
November 17, 2023 05:30 31m 33s master
master
November 17, 2023 05:30 31m 33s
Docker CI Docker CI #556: Scheduled
November 10, 2023 05:29 55m 20s master
master
November 10, 2023 05:29 55m 20s
Merge pull request #35 from coq-community/mc_1110 Docker CI #555: Commit 34242fd pushed by palmskog
November 7, 2023 14:07 55m 15s master
master
November 7, 2023 14:07 55m 15s
Adapt to coq/coq#17576 and math-comp/math-comp#1110 Docker CI #554: Pull request #35 synchronize by proux01
November 7, 2023 11:01 56m 9s mc_1110
mc_1110
November 7, 2023 11:01 56m 9s
Docker CI Docker CI #553: Scheduled
October 27, 2023 05:29 1h 6m 27s master
master
October 27, 2023 05:29 1h 6m 27s
Docker CI Docker CI #552: Scheduled
October 20, 2023 05:29 39m 37s master
master
October 20, 2023 05:29 39m 37s
Docker CI Docker CI #551: Scheduled
October 13, 2023 05:29 1h 9m 40s master
master
October 13, 2023 05:29 1h 9m 40s
Docker CI Docker CI #550: Scheduled
October 6, 2023 05:29 29m 35s master
master
October 6, 2023 05:29 29m 35s
Docker CI Docker CI #549: Scheduled
September 29, 2023 05:30 31m 43s master
master
September 29, 2023 05:30 31m 43s
Docker CI Docker CI #548: Scheduled
September 22, 2023 05:29 31m 26s master
master
September 22, 2023 05:29 31m 26s