Commit 6ee7a764 authored by Heiko Becker's avatar Heiko Becker

MDockerimage to build Coq and polyML for a continuous integration.erge branch...

MDockerimage to build Coq and polyML for a continuous integration.erge branch 'reworked-ci' of gitlab.mpi-sws.org:AVA/FloVer into reworked-ci
parents df82ed63 12a3762f
image: localhost:5000/flover
image: heikobecker/coq-polyml-ci
variables:
GIT_SUBMODULE_STRATEGY: none
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment