Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

09:51:13 Started by an SCM change


09:51:13 Running as SYSTEM


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


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


10:58:26 [isabelle-all] $ hg showconfig paths.default


10:58:27 [isabelle-all] $ hg pull --rev default


10:58:56 pulling from http://isabelle.in.tum.de/repos/isabelle/


10:58:56 real URL is https://isabelle.in.tum.de/repos/isabelle/


11:07:26 abort: HTTP Error 504: Gateway Timeout


11:07:26 ERROR: Failed to pull


11:07:26 ERROR: Failed to pull


11:07:26 Archiving artifacts


11:12:36 Started calculate disk usage of build


11:12:36 Finished Calculation of disk usage of build in 0 seconds


11:12:45 Started calculate disk usage of workspace


11:12:46 Finished Calculation of disk usage of workspace in 0 seconds


11:12:46 Email was triggered for: Failure - 1st


11:12:46 Trigger Failure - Any was overridden by another trigger and will not send an email.


11:12:46 Trigger Failure - Still was overridden by another trigger and will not send an email.


11:12:46 Sending email for trigger: Failure - 1st


11:12:46 Sending email to: isabelle-ci@mail46.informatik.tu-muenchen.de


11:12:50 Finished: FAILURE