Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

14:11:03 Started by an SCM change


14:11:03 Running as SYSTEM


14:11:03 [EnvInject] - Loading node environment variables.


14:11:03 Building remotely on workermtahpc (mta_hpc) in workspace /media/data/jenkins/workspace/isabelle-all


14:11:03 [isabelle-all] $ hg showconfig paths.default


14:11:03 [isabelle-all] $ hg pull --rev default


14:11:04 pulling from http://isabelle.in.tum.de/repos/isabelle/


14:11:04 real URL is https://isabelle.in.tum.de/repos/isabelle/


14:11:04 no changes found


14:11:04 [isabelle-all] $ hg update --clean --rev default


14:11:04 4 files updated, 0 files merged, 2 files removed, 0 files unresolved


14:11:04 [isabelle-all] $ hg log --rev . --template {node}


14:11:04 [isabelle-all] $ hg log --rev . --template {rev}


14:11:04 [isabelle-all] $ hg log --rev 1f2e78b7df933ed17d934f08382da2ef78c181e1 --template exists\n


14:11:04 exists


14:11:04 [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(1f2e78b7df933ed17d934f08382da2ef78c181e1)" --encoding UTF-8 --encodingmode replace


14:11:04 [afp] $ hg showconfig paths.default


14:11:05 [afp] $ hg pull --rev default


14:11:05 pulling from https://foss.heptapod.net/isa-afp/afp-devel/


14:11:05 no changes found


14:11:05 [afp] $ hg update --clean --rev default


14:11:06 1432 files updated, 0 files merged, 0 files removed, 0 files unresolved


14:11:06 [afp] $ hg --config extensions.purge= clean --all


14:11:07 [afp] $ hg log --rev . --template {node}


14:11:07 [afp] $ hg log --rev . --template {rev}


14:11:07 [afp] $ hg log --rev 4763f470b77dcd404a90af576acb34106d877890 --template exists\n


14:11:07 exists


14:11:07 [afp] $ 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(4763f470b77dcd404a90af576acb34106d877890)" --encoding UTF-8 --encodingmode replace


14:11:07 No emails were triggered.


14:11:07 
[isabelle-all] $ /bin/sh -xe /tmp/jenkins5928277775597227653.sh


14:11:07 + Admin/jenkins/run_build all


14:11:07 + set -e


14:11:07 + PROFILE=all


14:11:07 + shift


14:11:07 + bin/isabelle components -a


14:11:08 + bin/isabelle jedit -bf


14:11:08 ### Building Isabelle/Scala (/media/data/jenkins/workspace/isabelle-all/lib/classes/isabelle.jar) ...


14:12:07 ### Building graph browser (/media/data/jenkins/workspace/isabelle-all/lib/classes/isabelle_graphbrowser.jar) ...


14:12:08 Note: Some input files use unchecked or unsafe operations.


14:12:08 Note: Recompile with -Xlint:unchecked for details.


14:12:08 ### Building Isabelle/Scala/Admin (/media/data/jenkins/workspace/isabelle-all/lib/classes/isabelle_admin.jar) ...


14:12:08 ### Building AFP/Tools (/media/data/jenkins/workspace/isabelle-all/afp/admin/jenkins/../../tools/lib/classes/afp_tools.jar) ...


14:12:12 ### Building AFP/Tools (/media/data/jenkins/workspace/isabelle-all/afp/admin/jenkins/../../tools/lib/classes/afp_tools.jar) ...


14:12:15 + bin/isabelle ocaml_setup


14:12:16 # Run eval $(opam env) to update the current shell environment


14:12:16 [NOTE] It seems you have not updated your repositories for a while. Consider updating them with:


14:12:16        opam update


14:12:16 

14:12:17 [NOTE] Package zarith is already installed (current version is 1.12).


14:12:17 + bin/isabelle ghc_setup


14:12:18 stack will use a sandboxed GHC it installed


14:12:18 For more information on paths, see 'stack path' and 'stack exec env'


14:12:18 To use this GHC and packages outside of a project, consider using:


14:12:18 stack ghc, stack ghci, stack runghc, or stack exec


14:12:18 The Glorious Glasgow Haskell Compilation System, version 8.10.7


14:12:19 + bin/isabelle 'ci_build all'


14:12:21 *** Unknown Isabelle tool: "ci_build all"


14:12:21 Build step 'Execute shell' marked build as failure


14:15:37 Started calculate disk usage of build


14:15:37 Finished Calculation of disk usage of build in 0 seconds


14:15:52 Started calculate disk usage of workspace


14:15:53 Finished Calculation of disk usage of workspace in 0 seconds


14:15:53 No emails were triggered.


14:15:53 Finished: FAILURE