Skip to content
GitLab
Explore
Sign in
Janno
coq-stdpp
Repository
coq-stdpp
.gitlab-ci.yml
Find file
Blame
History
Permalink
also run CI against 8.7 branch (will switch to release once that happened)
· 6905014d
Ralf Jung
authored
Aug 22, 2017
6905014d
Validating GitLab CI configuration…
Learn more