See <https://asterix-jenkins.ics.uci.edu/job/asterix-integration-tests/699/>
- Build failed in Jenkins: asterix-integration-tests ae... Asterix build server
- Jenkins build is back to normal : asterix-integr... Asterix build server
- Re: Jenkins build is back to normal : asteri... Till Westmann
- Re: Jenkins build is back to normal : as... abdullah alamoudi
