Console Output

23:19:12 Started by an SCM change
23:19:12 Running as SYSTEM
23:19:12 [EnvInject] - Loading node environment variables.
23:19:12 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-all
23:20:11 [isabelle-all] $ hg showconfig paths.default
23:20:12 [isabelle-all] $ hg pull --rev default
23:22:23 pulling from http://isabelle.in.tum.de/repos/isabelle/
23:22:23 abort: error: Connection timed out
23:22:23 ERROR: Failed to pull
23:22:23 ERROR: Failed to pull
23:22:23 Archiving artifacts
23:27:24 Started calculate disk usage of build
23:27:24 Finished Calculation of disk usage of build in 0 seconds
23:27:31 Started calculate disk usage of workspace
23:27:32 Finished Calculation of disk usage of workspace in 0 seconds
23:27:32 No emails were triggered.
23:27:32 Finished: FAILURE