Skip to content
GitLab
Explore
Sign in
Dmitry Khalanskiy
Iris
Repository
iris
.gitlab-ci.yml
Find file
Blame
History
Permalink
disable coq.dev build for now
· 1fcb9286
Ralf Jung
authored
Jan 09, 2020
The build is broken, see
https://github.com/coq/coq/issues/11383
1fcb9286
Validating GitLab CI configuration…
Learn more