Skip to content
[Jenkins]Jenkins
log in
Aborted

Console Output

14:06:20 Started by user Administrative User


14:06:20 Running as SYSTEM


14:06:20 [EnvInject] - Loading node environment variables.


14:06:20 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/afp_testboard


14:06:20 Acquired controller cache lock.


14:06:20 [E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg pull


14:06:21 pulling from https://foss.heptapod.net/isa-afp/afp-testboard/


14:06:21 searching for changes


14:06:21 no changes found


14:06:21 Controller cache lock released.


14:06:21 Acquired agent node cache lock for node workermta1.


14:06:21 [E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg heads --template {node}\n --topo --closed


14:06:21 [E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard] $ /usr/bin/hg heads --template {node}\n --topo --closed


14:06:21 Local cache is up to date.


14:06:21 Agent node cache lock released for node workermta1.


14:06:21 [afp] $ /usr/bin/hg pull --rev default /media/data/jenkins/hgcache/E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard


14:06:21 pulling from /media/data/jenkins/hgcache/E916E24057687152D829B3DBD7BDC45CAC0313F6-afp-testboard


14:06:21 no changes found


14:06:21 [afp] $ /usr/bin/hg update --clean --rev default


14:06:22 0 files updated, 0 files merged, 0 files removed, 0 files unresolved


14:06:22 [afp] $ /usr/bin/hg log --rev . --template {node}


14:06:22 [afp] $ /usr/bin/hg log --rev . --template {rev}


14:06:22 [afp] $ /usr/bin/hg log --rev 56d587c6748fe2fff2dfe97d29159d0332efd907 --template exists\n


14:06:22 exists


14:06:22 [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


14:06:22 [EnvInject] - Executing scripts and injecting environment variables after the SCM step.


14:06:22 [EnvInject] - Injecting as environment variables the properties content 


14:06:22 ISABELLE_CI_TESTBOARD=true


14:06:22 

14:06:22 [EnvInject] - Variables injected successfully.


14:06:22 
[afp_testboard] $ /bin/sh -xe /tmp/jenkins117400365908512899.sh


14:06:22 + set -ex


14:06:22 + [ -d .hg ]


14:06:22 + hg pull http://isabelle.in.tum.de/repos/isabelle/


14:06:22 Rufe von http://isabelle.in.tum.de/repos/isabelle/ ab


14:06:22 echte Adresse ist https://isabelle.in.tum.de/repos/isabelle/


14:06:23 Suche nach Änderungen


14:06:23 Keine Änderungen gefunden


14:06:23 + hg up


14:06:23 0 Dateien aktualisiert, 0 Dateien zusammengeführt, 0 Dateien entfernt, 0 Dateien ungelöst


14:06:23 [afp_testboard] $ /bin/sh -xe /tmp/jenkins13600711570314495983.sh


14:06:23 + Admin/jenkins/run_build afp


14:06:23 + set -e


14:06:23 + PROFILE=afp


14:06:23 + shift


14:06:23 + bin/isabelle components -a


14:06:23 + bin/isabelle jedit -bf


14:06:23 Build was aborted


14:06:23 Aborted by Administrative User


14:06:23 Started calculate disk usage of build


14:06:23 Finished Calculation of disk usage of build in 0 seconds


14:06:23 Started calculate disk usage of workspace


14:06:24 Finished Calculation of disk usage of workspace in 0 seconds


14:06:24 Finished: ABORTED