Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

03:07:17 Started by an SCM change


03:07:17 Running as SYSTEM


03:07:17 [EnvInject] - Loading node environment variables.


03:07:17 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-all


03:08:12 [isabelle-all] $ hg showconfig paths.default


03:08:12 [isabelle-all] $ hg pull --rev default


03:10:22 pulling from http://isabelle.in.tum.de/repos/isabelle/


03:10:22 abort: error: Connection timed out


03:10:22 ERROR: Failed to pull


03:10:22 ERROR: Failed to pull


03:10:22 Archiving artifacts


03:15:26 Started calculate disk usage of build


03:15:27 Finished Calculation of disk usage of build in 0 seconds


03:15:36 Started calculate disk usage of workspace


03:15:37 Finished Calculation of disk usage of workspace in 0 seconds


03:15:37 No emails were triggered.


03:15:37 Finished: FAILURE