Skip to content
GitLab
Explore
Sign in
Dmitry Khalanskiy
Iris
Repository
iris
.gitlab-ci.yml
Find file
Blame
History
Permalink
don't check test output on coq.dev (it's broken due to a Coq bug)
· 1342eb50
Ralf Jung
authored
May 17, 2018
1342eb50
Validating GitLab CI configuration…
Learn more