Skip to content

Actions: rocq-community/gaia

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #28 from rocq-community/ssrpat-FO-ignore-imparg Docker CI #83: Commit efb144a pushed by proux01
12m 22s master
master
12m 22s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Docker CI #82: Pull request #28 synchronize by proux01
11m 20s ssrpat-FO-ignore-imparg
ssrpat-FO-ignore-imparg
11m 20s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Docker CI #81: Pull request #28 opened by proux01
17m 56s ssrpat-FO-ignore-imparg
ssrpat-FO-ignore-imparg
17m 56s
[CI] Update Docker CI #80: Pull request #27 synchronize by proux01
30m 2s ci-update
ci-update
30m 2s
[CI] Update Docker CI #79: Pull request #27 synchronize by proux01
4m 41s ci-update
ci-update
4m 41s
[CI] Update Docker CI #78: Pull request #27 opened by proux01
17s ci-update
ci-update
17s
Merge pull request #26 from rocq-community/mc1261 Docker CI #77: Commit ef8c79d pushed by proux01
9m 14s master
master
9m 14s
Adapt to https://github.com/math-comp/math-comp/pull/1261 Docker CI #76: Pull request #26 opened by proux01
9m 13s mc1261
mc1261
9m 13s
Merge pull request #25 from coq-community/mc1354 Docker CI #75: Commit 1947a22 pushed by proux01
14m 48s master
master
14m 48s
Adapt to https://github.com/math-comp/math-comp/pull/1354 Docker CI #74: Pull request #25 opened by proux01
14m 56s mc1354
mc1354
14m 56s
Merge pull request #24 from coq-community/update-ci Docker CI #73: Commit 69555eb pushed by palmskog
8m 56s master
master
8m 56s
update docker ci Docker CI #72: Pull request #24 opened by palmskog
9m 4s update-ci
update-ci
9m 4s
Merge pull request #23 from coq-community/mc1343 Docker CI #71: Commit 8cb4408 pushed by proux01
10m 46s master
master
10m 46s
Adapt to https://github.com/math-comp/math-comp/pull/1343 Docker CI #70: Pull request #23 opened by proux01
9m 16s mc1343
mc1343
9m 16s
Merge pull request #22 from coq-community/make-packages Docker CI #69: Commit 516bb27 pushed by palmskog
9m 11s master
master
9m 11s
enable using coq_makefile for opam packages Docker CI #68: Pull request #22 synchronize by palmskog
9m 0s make-packages
make-packages
9m 0s
enable using coq_makefile for opam packages Docker CI #67: Pull request #22 opened by palmskog
9m 4s make-packages
make-packages
9m 4s