Started by user Administrative User
Running as SYSTEM
[EnvInject] - Loading node environment variables.
Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/afp_testboard
Acquired controller cache lock.
[E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg pull
pulling from https://foss.heptapod.net/isa-afp/afp-testboard/
searching for changes
no changes found
Controller cache lock released.
Acquired agent node cache lock for node workermta1.
[E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg heads --template {node}\n --topo --closed
[E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg heads --template {node}\n --topo --closed
Local cache is up to date.
Agent node cache lock released for node workermta1.
[afp] $ /usr/bin/hg pull --rev default /media/data/jenkins/hgcache/E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard
pulling from /media/data/jenkins/hgcache/E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard
no changes found
[afp] $ /usr/bin/hg update --clean --rev default
0 files updated, 0 files merged, 0 files removed, 0 files unresolved
[afp] $ /usr/bin/hg log --rev . --template {node}
[afp] $ /usr/bin/hg log --rev . --template {rev}
[afp] $ /usr/bin/hg log --rev 56d587c6748fe2fff2dfe97d29159d0332efd907 --template exists\n
exists
[afp] $ /usr/bin/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(56d587c6748fe2fff2dfe97d29159d0332efd907)" --encoding UTF-8 --encodingmode replace
[EnvInject] - Executing scripts and injecting environment variables after the SCM step.
[EnvInject] - Injecting as environment variables the properties content 
ISABELLE_CI_TESTBOARD=true

[EnvInject] - Variables injected successfully.
[afp_testboard] $ /bin/sh -xe /tmp/jenkins117400365908512899.sh
+ set -ex
+ [ -d .hg ]
+ hg pull http://isabelle.in.tum.de/repos/isabelle/
Rufe von http://isabelle.in.tum.de/repos/isabelle/ ab
echte Adresse ist https://isabelle.in.tum.de/repos/isabelle/
Suche nach Änderungen
Keine Änderungen gefunden
+ hg up
0 Dateien aktualisiert, 0 Dateien zusammengeführt, 0 Dateien entfernt, 0 Dateien ungelöst
[afp_testboard] $ /bin/sh -xe /tmp/jenkins13600711570314495983.sh
+ Admin/jenkins/run_build afp
+ set -e
+ PROFILE=afp
+ shift
+ bin/isabelle components -a
+ bin/isabelle jedit -bf
Build was aborted
Aborted by Administrative User
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
Finished: ABORTED