Skip to content

Actions: rocq-community/aac-tactics

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update boilerplate for Rocq 9.0 Docker CI #201: Commit 55b1f80 pushed by palmskog
2m 10s v9.0
v9.0
2m 10s
fix README.md Docker CI #200: Commit 4f796a7 pushed by palmskog
2m 18s master
master
2m 18s
Merge pull request #162 from damien-pous/master Docker CI #199: Commit 6688223 pushed by palmskog
2m 14s master
master
2m 14s
move from coq to rocq Docker CI #198: Pull request #162 synchronize by palmskog
2m 29s damien-pous:master
damien-pous:master
2m 29s
move from coq to rocq Docker CI #197: Pull request #162 synchronize by palmskog
5m 1s damien-pous:master
damien-pous:master
5m 1s
move from coq to rocq Docker CI #196: Pull request #162 synchronize by damien-pous
2m 37s damien-pous:master
damien-pous:master
2m 37s
move from coq to rocq Docker CI #195: Pull request #162 synchronize by damien-pous
2m 21s damien-pous:master
damien-pous:master
2m 21s
move from coq to rocq Docker CI #194: Pull request #162 opened by damien-pous
2m 18s damien-pous:master
damien-pous:master
2m 18s
Adapt Makefile to Rocq v9 Docker CI #193: Pull request #161 synchronize by olaure01
5m 23s olaure01:makefile_rocq_9
olaure01:makefile_rocq_9
5m 23s
Adapt Makefile to Rocq v9 Docker CI #192: Pull request #161 opened by olaure01
5m 1s olaure01:makefile_rocq_9
olaure01:makefile_rocq_9
5m 1s
Do not treat default warnings as errors in dune Docker CI #191: Pull request #158 synchronize by andres-erbsen
2m 49s andres-erbsen:patch-2
andres-erbsen:patch-2
2m 49s
Do not treat default warnings as errors in dune Docker CI #190: Pull request #158 opened by andres-erbsen
2m 32s andres-erbsen:patch-2
andres-erbsen:patch-2
2m 32s
Merge pull request #157 from andres-erbsen/patch-1 Docker CI #189: Commit e68d028 pushed by palmskog
2m 30s master
master
2m 30s
Do not treat default warnings as errors in _CoqProject Docker CI #188: Pull request #157 opened by andres-erbsen
3m 15s andres-erbsen:patch-1
andres-erbsen:patch-1
3m 15s
added missing Stdlib dependency Docker CI #187: Pull request #156 opened by aa755
2m 19s aa755:v9.0
aa755:v9.0
2m 19s
Merge pull request #155 from ppedrot/rm-tc-evd-hook Docker CI #186: Commit 7a7f4a6 pushed by palmskog
2m 20s master
master
2m 20s
Adapt w.r.t. coq/coq#20278. Docker CI #185: Pull request #155 opened by ppedrot
2m 7s ppedrot:rm-tc-evd-hook
ppedrot:rm-tc-evd-hook
2m 7s
Merge pull request #149 from coq-community/stdlib_repo Docker CI #184: Commit 1dde529 pushed by palmskog
2m 21s master
master
2m 21s
Adapt to https://github.com/coq/coq/pull/19530 Docker CI #183: Pull request #149 synchronize by palmskog
2m 18s stdlib_repo
stdlib_repo
2m 18s
Merge pull request #154 from coq-community/rocq-ci Docker CI #182: Commit dcdb225 pushed by palmskog
2m 8s master
master
2m 8s
update Docker image location Docker CI #181: Pull request #154 synchronize by palmskog
2m 1s rocq-ci
rocq-ci
2m 1s
update Docker image location Docker CI #180: Pull request #154 synchronize by palmskog
2m 13s rocq-ci
rocq-ci
2m 13s
update Docker image location Docker CI #179: Pull request #154 opened by palmskog
2m 1s rocq-ci
rocq-ci
2m 1s
adjust docker image Docker CI #178: Commit a6478da pushed by palmskog
2m 9s v9.0
v9.0
2m 9s
port to rocq 9 (#153) Docker CI #177: Commit 0b7f510 pushed by palmskog
2m 17s v9.0
v9.0
2m 17s