On 5 Mar 2018, at 16:03, ci-pharo-ci-jenkins2@inria.fr wrote:

There is a new Pharo build available!

The status of the build #652 was: FAILURE.

The Pull Request #1023 was integrated: "21490 Lint cleanup DirectoryEntryTest" Pull request url: https://github.com/pharo-project/pharo/pull/1023

Issue Url: https://pharo.fogbugz.com/f/cases/21490 Build Url: https://ci.inria.fr/pharo-ci-jenkins2/job/Test%20pending%20pull%20request%20...

now the ci job and the build fails due to this: Downloading the latest pharoVM: http://files.pharo.org/get-files/70/pharo-linux-stable.zip unzip: cannot find or open pharo-vm/vm.zip, pharo-vm/vm.zip.zip or pharo-vm/vm.zip.ZIP. maybe the disk is full? Marcus