Skip to content
GitLab
Explore
Sign in
Robbert Krebbers
ra-gps
Repository
sra-gps
.gitlab-ci.yml
Find file
Blame
History
Permalink
the Coq CI image now contains git
· 2aa4d2c6
Ralf Jung
authored
Nov 03, 2016
2aa4d2c6
Validating GitLab CI configuration…
Learn more