Skip to content
Failed

Console Output

01:35:17 Started by an SCM change

01:35:17 Running as SYSTEM

01:35:17 [EnvInject] - Loading node environment variables.

01:35:17 Building remotely on workerlrz5 (lrz-cloud) in workspace /media/data/jenkins/workspace/isabelle-nightly-slow

01:35:17 [isabelle-nightly-slow] $ hg showconfig paths.default

01:35:18 [isabelle-nightly-slow] $ hg pull --rev default

01:37:29 pulling from http://isabelle.in.tum.de/repos/isabelle/

01:37:29 abort: error: Connection timed out

01:37:29 ERROR: Failed to pull

01:37:29 ERROR: Failed to pull

01:37:29 Archiving artifacts

01:37:39 Started calculate disk usage of build

01:37:39 Finished Calculation of disk usage of build in 0 seconds

01:37:39 Started calculate disk usage of workspace

01:37:40 Finished Calculation of disk usage of workspace in 0 seconds

01:37:40 No emails were triggered.

01:37:40 Finished: FAILURE