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 #622: Scheduled
December 13, 2024 05:36 19m 21s master
master
December 13, 2024 05:36 19m 21s
Docker CI Docker CI #621: Scheduled
December 6, 2024 05:36 19m 25s master
master
December 6, 2024 05:36 19m 25s
Merge pull request #42 from coq-community/coq-makefile-opam Docker CI #620: Commit a43f7cb pushed by palmskog
November 30, 2024 12:10 3m 41s master
master
November 30, 2024 12:10 3m 41s
add MathComp-style submakefiles to allow packaging without Dune Docker CI #619: Pull request #42 synchronize by palmskog
November 30, 2024 11:47 19m 6s coq-makefile-opam
coq-makefile-opam
November 30, 2024 11:47 19m 6s
add MathComp-style submakefiles to allow packaging without Dune Docker CI #618: Pull request #42 synchronize by palmskog
November 30, 2024 09:19 19m 15s coq-makefile-opam
coq-makefile-opam
November 30, 2024 09:19 19m 15s
Docker CI Docker CI #617: Scheduled
September 20, 2024 05:35 50m 15s master
master
September 20, 2024 05:35 50m 15s
Docker CI Docker CI #616: Scheduled
September 13, 2024 05:34 19m 50s master
master
September 13, 2024 05:34 19m 50s
Docker CI Docker CI #615: Scheduled
September 6, 2024 05:35 19m 33s master
master
September 6, 2024 05:35 19m 33s
Docker CI Docker CI #614: Scheduled
August 30, 2024 05:33 19m 43s master
master
August 30, 2024 05:33 19m 43s
Docker CI Docker CI #613: Scheduled
August 23, 2024 05:32 19m 37s master
master
August 23, 2024 05:32 19m 37s
Docker CI Docker CI #612: Scheduled
August 16, 2024 05:31 19m 39s master
master
August 16, 2024 05:31 19m 39s
Docker CI Docker CI #611: Scheduled
August 9, 2024 05:32 19m 48s master
master
August 9, 2024 05:32 19m 48s
Docker CI Docker CI #610: Scheduled
August 2, 2024 05:32 19m 58s master
master
August 2, 2024 05:32 19m 58s
Docker CI Docker CI #609: Scheduled
July 26, 2024 05:33 19m 47s master
master
July 26, 2024 05:33 19m 47s
Docker CI Docker CI #608: Scheduled
July 19, 2024 05:32 19m 49s master
master
July 19, 2024 05:32 19m 49s
Merge pull request #41 from coq-community/mc_1240 Docker CI #607: Commit aa4e6cb pushed by proux01
July 16, 2024 16:58 19m 48s master
master
July 16, 2024 16:58 19m 48s
Adapt to mathc-omp/math-comp#1240 Docker CI #606: Pull request #41 opened by proux01
July 16, 2024 13:37 25m 11s mc_1240
mc_1240
July 16, 2024 13:37 25m 11s
Docker CI Docker CI #605: Scheduled
July 12, 2024 05:30 37m 35s master
master
July 12, 2024 05:30 37m 35s
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