Skip to content

Actions: rocq-community/graph-theory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #47 from rocq-community/ssrpat-FO-ignore-imparg Docker CI #660: Commit 9269319 pushed by proux01
June 27, 2025 16:38 41m 20s master
master
June 27, 2025 16:38 41m 20s
Docker CI Docker CI #659: Scheduled
June 27, 2025 05:40 35m 29s master
master
June 27, 2025 05:40 35m 29s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Docker CI #658: Pull request #47 opened by proux01
June 26, 2025 12:51 33m 17s ssrpat-FO-ignore-imparg
ssrpat-FO-ignore-imparg
June 26, 2025 12:51 33m 17s
Docker CI Docker CI #657: Scheduled
June 20, 2025 05:39 6m 7s master
master
June 20, 2025 05:39 6m 7s
Docker CI Docker CI #656: Scheduled
June 13, 2025 05:38 25m 37s master
master
June 13, 2025 05:38 25m 37s
Docker CI Docker CI #655: Scheduled
June 6, 2025 05:40 25m 34s master
master
June 6, 2025 05:40 25m 34s
Merge pull request #46 from rocq-community/hints Docker CI #654: Commit 7159659 pushed by damien-pous
June 4, 2025 11:14 25m 21s master
master
June 4, 2025 11:14 25m 21s
explicit instantiations for failing uninstantiated hints Docker CI #653: Pull request #46 synchronize by damien-pous
June 2, 2025 15:31 25m 26s hints
hints
June 2, 2025 15:31 25m 26s
explicit instantiations for failing uninstantiated hints Docker CI #652: Pull request #46 opened by damien-pous
June 2, 2025 14:30 21m 48s hints
hints
June 2, 2025 14:30 21m 48s
Docker CI Docker CI #651: Scheduled
May 30, 2025 05:38 21m 49s master
master
May 30, 2025 05:38 21m 49s
Docker CI Docker CI #650: Scheduled
May 23, 2025 05:38 22m 17s master
master
May 23, 2025 05:38 22m 17s
Docker CI Docker CI #649: Scheduled
May 16, 2025 05:38 21m 13s master
master
May 16, 2025 05:38 21m 13s
Docker CI Docker CI #648: Scheduled
May 9, 2025 05:37 21m 54s master
master
May 9, 2025 05:37 21m 54s
Docker CI Docker CI #647: Scheduled
May 2, 2025 05:38 21m 30s master
master
May 2, 2025 05:38 21m 30s
Merge pull request #44 from rocq-community/coq_19811 Docker CI #646: Commit f2e2f44 pushed by proux01
April 30, 2025 12:14 21m 49s master
master
April 30, 2025 12:14 21m 49s
Compat with https://github.com/rocq-prover/rocq/pull/19811 Docker CI #645: Pull request #44 opened by proux01
April 30, 2025 11:31 21m 39s coq_19811
coq_19811
April 30, 2025 11:31 21m 39s
Docker CI Docker CI #644: Scheduled
April 25, 2025 05:36 21m 40s master
master
April 25, 2025 05:36 21m 40s
Docker CI Docker CI #643: Scheduled
April 18, 2025 05:35 20m 16s master
master
April 18, 2025 05:35 20m 16s
Docker CI Docker CI #642: Scheduled
April 11, 2025 05:38 20m 39s master
master
April 11, 2025 05:38 20m 39s
Docker CI Docker CI #641: Scheduled
April 4, 2025 05:36 20m 29s master
master
April 4, 2025 05:36 20m 29s
Docker CI Docker CI #640: Scheduled
March 28, 2025 05:37 20m 23s master
master
March 28, 2025 05:37 20m 23s
pages build and deployment pages-build-deployment #1: by chdoc
March 24, 2025 13:40 42s gh-pages
gh-pages
March 24, 2025 13:40 42s
Docker CI Docker CI #639: Scheduled
March 21, 2025 05:34 20m 30s master
master
March 21, 2025 05:34 20m 30s
Docker CI Docker CI #638: Scheduled
March 14, 2025 05:33 20m 31s master
master
March 14, 2025 05:33 20m 31s
Docker CI Docker CI #637: Scheduled
March 7, 2025 05:34 20m 36s master
master
March 7, 2025 05:34 20m 36s