.gitlab-ci.yml · 3130384d0a0a08952a7373597a7d3cbd06e16166 · Lennard Gäher / Iris · GitLab

Find file Blame History Permalink

disable building against coq.dev as upstream is currently broken · 3130384d
Ralf Jung authored Jul 06, 2018
```
See https://github.com/coq/coq/issues/8003
```
3130384d

Validating GitLab CI configuration… Learn more