Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

13:13:13 Started by an SCM change


13:13:13 Running as SYSTEM


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


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


13:14:11 [isabelle-all] $ hg showconfig paths.default


13:14:11 [isabelle-all] $ hg pull --rev default


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


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


13:16:21 ERROR: Failed to pull


13:16:21 ERROR: Failed to pull


13:16:21 Archiving artifacts


13:21:24 Started calculate disk usage of build


13:21:24 Finished Calculation of disk usage of build in 0 seconds


13:21:32 Started calculate disk usage of workspace


13:21:33 Finished Calculation of disk usage of workspace in 0 seconds


13:21:33 Email was triggered for: Failure - 1st


13:21:33 Trigger Failure - Any was overridden by another trigger and will not send an email.


13:21:33 Trigger Failure - Still was overridden by another trigger and will not send an email.


13:21:33 Sending email for trigger: Failure - 1st


13:21:33 Sending email to: isabelle-ci@mail46.informatik.tu-muenchen.de


13:21:33 Finished: FAILURE