Console Output

21:59:07 Started by an SCM change
21:59:07 Running as SYSTEM
21:59:07 [EnvInject] - Loading node environment variables.
21:59:07 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-all
21:59:07 [isabelle-all] $ hg showconfig paths.default
21:59:07 [isabelle-all] $ hg pull --rev default
21:59:07 pulling from http://isabelle.in.tum.de/repos/isabelle/
21:59:07 no changes found
21:59:08 [isabelle-all] $ hg update --clean --rev default
21:59:08 15 files updated, 0 files merged, 0 files removed, 0 files unresolved
21:59:08 [isabelle-all] $ hg log --rev . --template {node}
21:59:08 [isabelle-all] $ hg log --rev . --template {rev}
21:59:08 [isabelle-all] $ hg log --rev 8c2bef3df48885f0cf3e2ba73579f1337690b84d --template exists\n
21:59:08 exists
21:59:08 [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(8c2bef3df48885f0cf3e2ba73579f1337690b84d)" --encoding UTF-8 --encodingmode replace
21:59:08 [afp] $ hg showconfig paths.default
21:59:08 [afp] $ hg pull --rev default
21:59:09 pulling from https://bitbucket.org/isa-afp/afp-devel/
21:59:09 no changes found
21:59:09 [afp] $ hg update --clean --rev default
21:59:09 0 files updated, 0 files merged, 0 files removed, 0 files unresolved
21:59:09 [afp] $ hg --config extensions.purge= clean --all
21:59:10 [afp] $ hg log --rev . --template {node}
21:59:10 [afp] $ hg log --rev . --template {rev}
21:59:10 [afp] $ hg log --rev 2ac9ae9dd0f6a1d75e8b73820f95e2ea2d75ea48 --template exists\n
21:59:10 exists
21:59:10 [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(2ac9ae9dd0f6a1d75e8b73820f95e2ea2d75ea48)" --encoding UTF-8 --encodingmode replace
21:59:10 No emails were triggered.
21:59:10 [isabelle-all] $ /bin/sh -xe /tmp/jenkins2904803189519703576.sh
21:59:10 + Admin/jenkins/run_build all
21:59:10 + set -e
21:59:10 + PROFILE=all
21:59:10 + shift
21:59:10 + bin/isabelle components -a
21:59:10 + bin/isabelle jedit -bf
21:59:10 ### Building Isabelle/Scala ...
21:59:38 ### Building Isabelle/jEdit ...
21:59:55 + bin/isabelle ocaml_setup
21:59:55 # Run eval $(opam env) to update the current shell environment
21:59:55 [NOTE] It seems you have not updated your repositories for a while. Consider updating them with:
21:59:55        opam update
21:59:55 
21:59:56 [NOTE] Package zarith is already installed (current version is 1.7).
21:59:56 + bin/isabelle ghc_setup
21:59:56 stack will use a sandboxed GHC it installed
21:59:56 For more information on paths, see 'stack path' and 'stack exec env'
21:59:56 To use this GHC and packages outside of a project, consider using:
21:59:56 stack ghc, stack ghci, stack runghc, or stack exec
21:59:56 The Glorious Glasgow Haskell Compilation System, version 8.4.4
21:59:57 + bin/isabelle ci_build_all
22:00:03 
22:00:03 === CONFIGURATION ===
22:00:03 
22:00:03 ISABELLE_BUILD_OPTIONS=""
22:00:03 
22:00:03 ML_PLATFORM="x86_64_32-linux"
22:00:03 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.8/x86_64_32-linux"
22:00:03 ML_SYSTEM="polyml-5.8"
22:00:03 ML_OPTIONS="-H 4000 --maxheap 8G"
22:00:03 jobs = 10, threads = 4, numa = false
22:00:03 
22:00:03 === BUILD ===
22:00:03 
22:00:03 Build started at Sun, 20 Oct 2019 20:00:03 GMT
22:00:03 Isabelle id d36f600c6500
22:00:03 AFP id 2ac9ae9dd0f6
22:00:03 
22:00:03 === LOG ===
22:00:03 
22:00:04 Session Pure/Pure
22:00:05 Session CTT/CTT
22:00:05 Session Cube/Cube
22:00:05 Session FOL/FOL
22:00:05 Session CCL/CCL
22:00:05 Session FOL/FOL-ex
22:00:05 Session FOLP/FOLP
22:00:05 Session FOLP/FOLP-ex
22:00:05 Session Tools/Haskell
22:00:05 Session Doc/Intro (doc)
22:00:05 Session LCF/LCF
22:00:05 Session Doc/Logics (doc)
22:00:05 Session Doc/Nitpick (doc)
22:00:05 Session Tools/SML
22:00:05 Session Sequents/Sequents
22:00:05 Session Doc/Sledgehammer (doc)
22:00:05 Session Tools/Spec_Check
22:00:05 Session Tools/Tools
22:00:05 Session HOL/HOL (main)
22:00:06 Session AFP/AVL-Trees (AFP)
22:00:06 Session AFP/AWN (AFP)
22:00:06 Session AFP/Abortable_Linearizable_Modules (AFP)
22:00:06 Session AFP/Abstract-Hoare-Logics (AFP)
22:00:06 Session AFP/AnselmGod (AFP)
22:00:06 Session AFP/Aristotles_Assertoric_Syllogistic (AFP)
22:00:06 Session AFP/AxiomaticCategoryTheory (AFP)
22:00:06 Session AFP/BinarySearchTree (AFP)
22:00:06 Session AFP/Binomial-Queues (AFP)
22:00:06 Session AFP/Bondy (AFP)
22:00:06 Session AFP/Bounded_Deducibility_Security (AFP)
22:00:06 Session AFP/BytecodeLogicJmlTypes (AFP)
22:00:06 Session AFP/C2KA_DistributedSystems (AFP)
22:00:06 Session AFP/CISC-Kernel (AFP)
22:00:06 Session AFP/CYK (AFP)
22:00:07 Session AFP/Cauchy (AFP)
22:00:07 Session AFP/Sqrt_Babylonian (AFP)
22:00:07 Session Doc/Classes (doc)
22:00:07 Session AFP/Clean (AFP)
22:00:07 *** Cannot load theory "Clean_Main.Clean"
22:00:07 *** The error(s) above occurred in session "Clean" (line 45 of "/media/data/jenkins/workspace/isabelle-all/afp/thys/Clean/ROOT")
22:00:07 Build step 'Execute shell' marked build as failure
22:00:07 Archiving artifacts
22:03:28 Started calculate disk usage of build
22:03:28 Finished Calculation of disk usage of build in 0 seconds
22:03:57 Started calculate disk usage of workspace
22:03:58 Finished Calculation of disk usage of workspace in 0 seconds
22:03:58 No emails were triggered.
22:03:58 Finished: FAILURE