<p>Build Failed</p>
<p>Build      : <a href="https://drone.io/github.com/d3scomp/JDEECo/1020">https://drone.io/github.com/d3scomp/JDEECo/1020</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    : da98d6309d5ee0d444faac18951845da83b258cb</p>
<p>Author     : Zbyněk Jiráček</p>
<p>Branch     : KnowledgeContainers</p>
<p>Message:</p>
<p>Z3 multiple data contract support WIP</p>