Skip to content
GitLab
Explore
Sign in
Joseph Tassarotti
iris-coq-public
Repository
iris-coq-public
.gitlab-ci.yml
Find file
Blame
History
Permalink
CI: fix running coqchk
· c8760ad9
Ralf Jung
authored
Aug 19, 2016
c8760ad9
Validating GitLab CI configuration…
Learn more