Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

01:35:22 Started by an SCM change


01:35:22 Running as SYSTEM


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


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


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


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


01:35:22 pulling from http://isabelle.in.tum.de/repos/isabelle/


01:37:32 abort: error: Network is unreachable


01:37:32 ERROR: Failed to pull


01:37:32 ERROR: Failed to pull


01:37:32 Archiving artifacts


01:37:46 Started calculate disk usage of build


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


01:40:37 Started calculate disk usage of workspace


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


01:40:38 No emails were triggered.


01:40:38 Finished: FAILURE