Skip to content

Actions: coq-community/graph-theory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
90 workflow runs
90 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Docker CI Docker CI #604: Scheduled
July 5, 2024 05:30 37m 57s master
master
July 5, 2024 05:30 37m 57s
Merge pull request #40 from coq-community/mc_1223 Docker CI #603: Commit 4bc2960 pushed by proux01
June 29, 2024 16:03 37m 26s master
master
June 29, 2024 16:03 37m 26s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Docker CI #602: Pull request #40 synchronize by proux01
June 29, 2024 15:19 37m 34s mc_1223
mc_1223
June 29, 2024 15:19 37m 34s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Docker CI #601: Pull request #40 opened by proux01
June 29, 2024 13:47 22m 4s mc_1223
mc_1223
June 29, 2024 13:47 22m 4s
Docker CI Docker CI #600: Scheduled
June 28, 2024 05:30 38m 22s master
master
June 28, 2024 05:30 38m 22s
Merge pull request #39 from coq-community/fix-have-opaque Docker CI #599: Commit 080d923 pushed by palmskog
June 26, 2024 18:44 31m 46s master
master
June 26, 2024 18:44 31m 46s
avoid opaqueness of have in Coq 8.20 and later Docker CI #598: Pull request #39 opened by palmskog
June 26, 2024 17:53 37m 56s fix-have-opaque
fix-have-opaque
June 26, 2024 17:53 37m 56s
Docker CI Docker CI #597: Scheduled
June 21, 2024 05:31 19m 49s master
master
June 21, 2024 05:31 19m 49s
Docker CI Docker CI #596: Scheduled
June 14, 2024 05:30 43m 19s master
master
June 14, 2024 05:30 43m 19s
Docker CI Docker CI #595: Scheduled
June 7, 2024 05:31 42m 55s master
master
June 7, 2024 05:31 42m 55s
Docker CI Docker CI #594: Scheduled
May 31, 2024 05:32 43m 24s master
master
May 31, 2024 05:32 43m 24s
Docker CI Docker CI #593: Scheduled
May 24, 2024 05:30 22m 37s master
master
May 24, 2024 05:30 22m 37s
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