<p>Build Failed</p>
<p>Build      : <a href="https://drone.io/github.com/d3scomp/JDEECo/1010">https://drone.io/github.com/d3scomp/JDEECo/1010</a></p>
<p>Project    : <a href="https://drone.io/github.com/d3scomp/JDEECo">https://drone.io/github.com/d3scomp/JDEECo</a></p>
<p>Repository : git://github.com/d3scomp/JDEECo.git</p>
<p>Version    : 92b810ebbb2400f89d9e28f646ac65e98de5c32e</p>
<p>Author     : Zbyněk Jiráček</p>
<p>Branch     : IntelligentEnsembles</p>
<p>Message:</p>
<p>Z3 finished constraints (projection not working)</p>