Skip to content

Actions: rocq-community/gaia

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
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