Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

13:52:15 Started by an SCM change


13:52:15 Running as SYSTEM


13:52:15 [EnvInject] - Loading node environment variables.


13:52:15 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-all


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


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


13:55:21 pulling from http://isabelle.in.tum.de/repos/isabelle/


13:55:21 abort: error: Connection timed out


13:55:21 ERROR: Failed to pull


13:55:21 ERROR: Failed to pull


13:55:21 Archiving artifacts


14:00:25 Started calculate disk usage of build


14:00:25 Finished Calculation of disk usage of build in 0 seconds


14:00:35 Started calculate disk usage of workspace


14:00:35 Finished Calculation of disk usage of workspace in 0 seconds


14:00:36 No emails were triggered.


14:00:36 Finished: FAILURE