Docker CI · Workflow runs · rocq-community/bits · GitHub

Actions

Docker CI

Actions

Loading...
Loading

docker-action.yml

6 workflow runs

6 workflow runs

Merge pull request #28 from rocq-community/mc1456 Docker CI #41: Commit f50fc3e pushed by proux01

28m 22s master

master

28m 22s

Adapt to https://github.com/math-comp/math-comp/pull/1456 Docker CI #40: Pull request #28 opened by proux01

28m 0s mc1456

mc1456

28m 0s

Merge pull request #27 from rocq-community/mc1415 Docker CI #39: Commit 5080b4d pushed by proux01

16m 49s master

master

16m 49s

Adapt to https://github.com/math-comp/math-comp/pull/1415 Docker CI #38: Pull request #27 opened by proux01

17m 9s mc1415

mc1415

17m 9s

Merge pull request #26 from coq-community/mc1343 Docker CI #37: Commit 00b4c27 pushed by proux01

8m 51s master

master

8m 51s

Adapt to https://github.com/math-comp/math-comp/pull/1343 Docker CI #36: Pull request #26 opened by proux01

8m 35s mc1343

mc1343

8m 35s