Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

00:50:07 Started by an SCM change


00:50:07 Running as SYSTEM


00:50:07 [EnvInject] - Loading node environment variables.


00:50:07 Building remotely on workermtahpc (mta_hpc) in workspace /media/data/jenkins/workspace/isabelle-nightly-benchmark


00:50:07 [isabelle-nightly-benchmark] $ hg showconfig paths.default


00:50:07 [isabelle-nightly-benchmark] $ hg pull --rev default


00:50:07 pulling from http://isabelle.in.tum.de/repos/isabelle/


00:50:07 abort: HTTP Error 503: Service Unavailable


00:50:07 ERROR: Failed to pull


00:50:07 ERROR: Failed to pull


00:50:07 Archiving artifacts


00:50:23 Started calculate disk usage of build


00:50:24 Finished Calculation of disk usage of build in 0 seconds


00:51:56 Started calculate disk usage of workspace


00:51:56 Finished Calculation of disk usage of workspace in 0 seconds


00:51:57 Email was triggered for: Failure - 1st


00:51:57 Trigger Failure - Any was overridden by another trigger and will not send an email.


00:51:57 Trigger Failure - Still was overridden by another trigger and will not send an email.


00:51:57 Sending email for trigger: Failure - 1st


00:51:57 Sending email to: isabelle-ci@mailman46.in.tum.de


00:51:57 Finished: FAILURE