Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

12:01:14 Started by an SCM change


12:01:14 Running as SYSTEM


12:01:14 [EnvInject] - Loading node environment variables.


12:01:14 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-all


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


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


12:04:23 pulling from http://isabelle.in.tum.de/repos/isabelle/


12:04:23 abort: error: Connection timed out


12:04:23 ERROR: Failed to pull


12:04:23 ERROR: Failed to pull


12:04:23 Archiving artifacts


12:09:14 Started calculate disk usage of build


12:09:15 Finished Calculation of disk usage of build in 0 seconds


12:09:22 Started calculate disk usage of workspace


12:09:23 Finished Calculation of disk usage of workspace in 0 seconds


12:09:23 No emails were triggered.


12:09:23 Finished: FAILURE