.gitlab-ci.yml · 1fcb9286b789dbe89b173ec1ade80601d5a029df · Lennard Gäher / Iris · GitLab

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