Console Output

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