Console Output

03:35:04 Started by an SCM change
03:35:04 Running as SYSTEM
03:35:04 [EnvInject] - Loading node environment variables.
03:35:04 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-all
03:35:04 [isabelle-all] $ hg showconfig paths.default
03:35:04 [isabelle-all] $ hg pull --rev default
03:35:04 pulling from http://isabelle.in.tum.de/repos/isabelle/
03:35:04 no changes found
03:35:04 [isabelle-all] $ hg update --clean --rev default
03:35:05 0 files updated, 0 files merged, 0 files removed, 0 files unresolved
03:35:05 [isabelle-all] $ hg log --rev . --template {node}
03:35:05 [isabelle-all] $ hg log --rev . --template {rev}
03:35:05 [isabelle-all] $ hg log --rev 3ed399935d7c602dba239e258b23b1ddc5d3dda5 --template exists\n
03:35:05 exists
03:35: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:35:05 [afp] $ hg showconfig paths.default
03:35:05 [afp] $ hg pull --rev default
03:35:06 pulling from https://bitbucket.org/isa-afp/afp-devel/
03:35:06 no changes found
03:35:06 [afp] $ hg update --clean --rev default
03:35:06 545 files updated, 0 files merged, 0 files removed, 0 files unresolved
03:35:06 [afp] $ hg --config extensions.purge= clean --all
03:35:07 [afp] $ hg log --rev . --template {node}
03:35:07 [afp] $ hg log --rev . --template {rev}
03:35:07 [afp] $ hg log --rev c7faf745010f254fcf816f228c6254a4808bce90 --template exists\n
03:35:07 exists
03:35: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(c7faf745010f254fcf816f228c6254a4808bce90)" --encoding UTF-8 --encodingmode replace
03:35:07 No emails were triggered.
03:35:07 [isabelle-all] $ /bin/sh -xe /tmp/jenkins6400669240227962728.sh
03:35:07 + Admin/jenkins/run_build all
03:35:07 + set -e
03:35:07 + PROFILE=all
03:35:07 + shift
03:35:07 + bin/isabelle components -a
03:35:07 + bin/isabelle jedit -bf
03:35:07 ### Building Isabelle/Scala ...
03:35:36 ### Building Isabelle/jEdit ...
03:35:53 + bin/isabelle ocaml_setup
03:35:53 # Run eval $(opam env) to update the current shell environment
03:35:53 [NOTE] It seems you have not updated your repositories for a while. Consider updating them with:
03:35:53        opam update
03:35:53 
03:35:53 [NOTE] Package zarith is already installed (current version is 1.7).
03:35:53 + bin/isabelle ghc_setup
03:35:54 stack will use a sandboxed GHC it installed
03:35:54 For more information on paths, see 'stack path' and 'stack exec env'
03:35:54 To use this GHC and packages outside of a project, consider using:
03:35:54 stack ghc, stack ghci, stack runghc, or stack exec
03:35:54 The Glorious Glasgow Haskell Compilation System, version 8.4.4
03:35:54 + bin/isabelle ci_build_all
03:36:00 
03:36:00 === CONFIGURATION ===
03:36:00 
03:36:00 ISABELLE_BUILD_OPTIONS=""
03:36:00 
03:36:00 ML_PLATFORM="x86_64_32-linux"
03:36:00 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.8/x86_64_32-linux"
03:36:00 ML_SYSTEM="polyml-5.8"
03:36:00 ML_OPTIONS="-H 4000 --maxheap 8G"
03:36:01 jobs = 10, threads = 4, numa = false
03:36:01 
03:36:01 === BUILD ===
03:36:01 
03:36:01 Build started at Sun, 20 Oct 2019 01:36:00 GMT
03:36:01 Isabelle id 3ed399935d7c
03:36:01 AFP id 48295c330a18
03:36:01 
03:36:01 === LOG ===
03:36:01 
03:36:02 *** Duplicate use of directory "/media/data/jenkins/workspace/isabelle-all/afp/thys/Clean"
03:36:02 ***   for session "Clean_Main" (line 45 of "/media/data/jenkins/workspace/isabelle-all/afp/thys/Clean/ROOT")
03:36:02 ***   vs. session "Clean_examples" (line 50 of "/media/data/jenkins/workspace/isabelle-all/afp/thys/Clean/ROOT")
03:36:02 Build step 'Execute shell' marked build as failure
03:36:02 Archiving artifacts
03:39:25 Started calculate disk usage of build
03:39:25 Finished Calculation of disk usage of build in 0 seconds
03:39:55 Started calculate disk usage of workspace
03:39:56 Finished Calculation of disk usage of workspace in 0 seconds
03:39:56 Email was triggered for: Failure - 1st
03:39:56 Trigger Failure - Any was overridden by another trigger and will not send an email.
03:39:56 Trigger Failure - Still was overridden by another trigger and will not send an email.
03:39:56 Sending email for trigger: Failure - 1st
03:39:57 Sending email to: isabelle-ci@mail46.informatik.tu-muenchen.de
03:39:57 Finished: FAILURE