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 #592: Scheduled
May 17, 2024 05:34 20m 33s master
master
May 17, 2024 05:34 20m 33s
Docker CI Docker CI #591: Scheduled
May 10, 2024 05:29 20m 5s master
master
May 10, 2024 05:29 20m 5s
Docker CI Docker CI #590: Scheduled
May 3, 2024 05:29 44m 40s master
master
May 3, 2024 05:29 44m 40s
Docker CI Docker CI #589: Scheduled
April 26, 2024 05:29 20m 21s master
master
April 26, 2024 05:29 20m 21s
Docker CI Docker CI #588: Scheduled
April 19, 2024 05:29 19m 49s master
master
April 19, 2024 05:29 19m 49s
Docker CI Docker CI #587: Scheduled
April 12, 2024 05:31 20m 1s master
master
April 12, 2024 05:31 20m 1s
Docker CI Docker CI #586: Scheduled
April 5, 2024 05:29 19m 59s master
master
April 5, 2024 05:29 19m 59s
Docker CI Docker CI #585: Scheduled
March 29, 2024 05:29 39m 45s master
master
March 29, 2024 05:29 39m 45s
Docker CI Docker CI #584: Scheduled
March 22, 2024 05:31 39m 53s master
master
March 22, 2024 05:31 39m 53s
Docker CI Docker CI #583: by palmskog
March 20, 2024 15:55 41m 5s master
master
March 20, 2024 15:55 41m 5s
Compatible with Coq 8.20 Docker CI #582: Pull request #38 synchronize by pi8027
March 20, 2024 14:50 1h 0m 30s coq-8.20
coq-8.20
March 20, 2024 14:50 1h 0m 30s
Compatible with Coq 8.20 Docker CI #581: Pull request #38 synchronize by pi8027
March 20, 2024 14:46 40m 22s coq-8.20
coq-8.20
March 20, 2024 14:46 40m 22s
Compatible with Coq 8.20 Docker CI #580: Pull request #38 synchronize by pi8027
March 20, 2024 14:44 44m 51s coq-8.20
coq-8.20
March 20, 2024 14:44 44m 51s
Compatible with Coq 8.20 Docker CI #579: Pull request #38 opened by pi8027
March 20, 2024 13:55 54m 25s coq-8.20
coq-8.20
March 20, 2024 13:55 54m 25s
Docker CI Docker CI #578: Scheduled
March 15, 2024 05:29 20m 33s master
master
March 15, 2024 05:29 20m 33s
Docker CI Docker CI #577: Scheduled
March 8, 2024 05:30 21m 44s master
master
March 8, 2024 05:30 21m 44s
Docker CI Docker CI #576: Scheduled
March 1, 2024 05:29 20m 2s master
master
March 1, 2024 05:29 20m 2s
Docker CI Docker CI #575: Scheduled
February 23, 2024 05:29 19m 51s master
master
February 23, 2024 05:29 19m 51s
Docker CI Docker CI #574: Scheduled
February 16, 2024 05:29 23m 39s master
master
February 16, 2024 05:29 23m 39s
Docker CI Docker CI #573: Scheduled
February 9, 2024 05:29 22m 35s master
master
February 9, 2024 05:29 22m 35s
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