-
Björn Brandenburg authored
Using the official Coq Docker images kindly provided by the Coq community: https://github.com/coq-community/docker-coq/wiki/CI-setup Using the following CI template as a starting point: https://gitlab.com/erikmd/docker-coq-gitlab-ci-demo-1/blob/master/.gitlab-ci.yml
82454601
Validating GitLab CI configuration…
Learn more