Skip to content
Failed

Console Output

18:43:08 Started by an SCM change

18:43:08 Running as SYSTEM

18:43:08 [EnvInject] - Loading node environment variables.

18:43:08 Building remotely on workermtahpc (mta_hpc) in workspace /media/data/jenkins/workspace/isabelle-all

18:43:08 [isabelle-all] $ hg showconfig paths.default

18:43:08 [isabelle-all] $ hg pull --rev default

18:43:09 pulling from https://isabelle.in.tum.de/repos/isabelle/

18:43:09 no changes found

18:43:09 [isabelle-all] $ hg update --clean --rev default

18:43:09 4 files updated, 0 files merged, 0 files removed, 0 files unresolved

18:43:09 [isabelle-all] $ hg log --rev . --template {node}

18:43:09 [isabelle-all] $ hg log --rev . --template {rev}

18:43:09 [isabelle-all] $ hg log --rev a82db14570cd027edb9da02baf162ae1a37e3fdb --template exists\n

18:43:09 exists

18:43:09 [isabelle-all] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg>{file_adds % '<addedFile>{file|xmlescape}</addedFile>'}{file_dels % '<deletedFile>{file|xmlescape}</deletedFile>'}{files % '<file>{file|xmlescape}</file>'}<parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(a82db14570cd027edb9da02baf162ae1a37e3fdb)" --encoding UTF-8 --encodingmode replace

18:43:09 [afp] $ hg showconfig paths.default

18:43:09 [afp] $ hg pull --rev default

18:43:10 pulling from https://foss.heptapod.net/isa-afp/afp-devel/

18:43:10 abort: HTTP Error 502: Bad Gateway

18:43:10 ERROR: Failed to pull

18:43:10 ERROR: Failed to pull

18:47:31 Started calculate disk usage of build

18:47:32 Finished Calculation of disk usage of build in 0 seconds

18:47:32 Started calculate disk usage of workspace

18:47:33 Finished Calculation of disk usage of workspace in 1 second

18:47:34 No emails were triggered.

18:47:34 Finished: FAILURE