.gitlab-ci.yml · a7e91677b2853f55c825191b98c82cf837d1550c · Jonas Kastberg / iris · GitLab

Find file Blame History Permalink

make done and fast_done more consistent in behavior · a7e91677
Ralf Jung authored Nov 21, 2016
```
In particular, make sure we always try eassumption before reflexivity.
```
a7e91677

Validating GitLab CI configuration… Learn more