Skip to content

Actions: coq-community/graph-theory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Docker CI Docker CI #547: Scheduled
September 15, 2023 05:29 1h 4m 7s master
master
September 15, 2023 05:29 1h 4m 7s
Docker CI Docker CI #546: Scheduled
September 8, 2023 05:30 1h 17m 44s master
master
September 8, 2023 05:30 1h 17m 44s
Docker CI Docker CI #545: Scheduled
September 1, 2023 05:29 1h 11m 18s master
master
September 1, 2023 05:29 1h 11m 18s
Docker CI Docker CI #544: Scheduled
August 25, 2023 05:29 1h 8m 49s master
master
August 25, 2023 05:29 1h 8m 49s
Merge pull request #34 from coq-community/ci-8.18 Docker CI #543: Commit 80013ad pushed by damien-pous
August 19, 2023 06:52 1h 18m 36s master
master
August 19, 2023 06:52 1h 18m 36s