Skip to content
Failed

Console Output

20:05:07 Started by an SCM change

20:05:07 [EnvInject] - Loading node environment variables.

20:05:07 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-all

20:05:07 [isabelle-all] $ hg showconfig paths.default

20:05:07 [isabelle-all] $ hg pull --rev default

20:05:08 pulling from http://isabelle.in.tum.de/repos/isabelle/

20:05:08 no changes found

20:05:08 [isabelle-all] $ hg update --clean --rev default

20:05:08 5 files updated, 0 files merged, 1 files removed, 0 files unresolved

20:05:08 [isabelle-all] $ hg log --rev . --template {node}

20:05:08 [isabelle-all] $ hg log --rev . --template {rev}

20:05:08 [isabelle-all] $ hg log --rev 69465c3e3560890a5acfb32489356bf62d93a6ad --template exists\n

20:05:08 exists

20:05:08 [isabelle-all] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(69465c3e3560890a5acfb32489356bf62d93a6ad)" --encoding UTF-8 --encodingmode replace

20:05:08 [afp] $ hg showconfig paths.default

20:05:08 [afp] $ hg pull --rev default

20:05:10 pulling from https://bitbucket.org/isa-afp/afp-devel/

20:05:10 no changes found

20:05:10 [afp] $ hg update --clean --rev default

20:05:10 472 files updated, 0 files merged, 0 files removed, 0 files unresolved

20:05:10 [afp] $ hg --config extensions.purge= clean --all

20:05:10 [afp] $ hg log --rev . --template {node}

20:05:10 [afp] $ hg log --rev . --template {rev}

20:05:10 [afp] $ hg log --rev f086cb88f5400e20fd14f5f618b40bbd348fcacc --template exists\n

20:05:11 exists

20:05:11 [afp] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(f086cb88f5400e20fd14f5f618b40bbd348fcacc)" --encoding UTF-8 --encodingmode replace

20:05:11 No emails were triggered.

20:05:11 [isabelle-all] $ /bin/sh -xe /tmp/jenkins5796870360743507470.sh

20:05:11 + Admin/jenkins/run_build all

20:05:11 + set -e

20:05:11 + PROFILE=all

20:05:11 + shift

20:05:11 + bin/isabelle components -a

20:05:11 + bin/isabelle jedit -bf

20:05:11 ### Building Isabelle/Scala ...

20:05:39 ### Building Isabelle/jEdit ...

20:05:57 + bin/isabelle ocaml_setup

20:05:57 # Run eval $(opam env) to update the current shell environment

20:05:58 [NOTE] Package zarith is already installed (current version is 1.7).

20:05:58 + bin/isabelle ghc_setup

20:05:58 stack will use a sandboxed GHC it installed

20:05:58 For more information on paths, see 'stack path' and 'stack exec env'

20:05:58 To use this GHC and packages outside of a project, consider using:

20:05:58 stack ghc, stack ghci, stack runghc, or stack exec

20:05:58 The Glorious Glasgow Haskell Compilation System, version 8.4.4

20:05:59 + bin/isabelle ci_build_all

20:06:05

20:06:05 === CONFIGURATION ===

20:06:05

20:06:05 ISABELLE_BUILD_OPTIONS=""

20:06:05

20:06:05 ML_PLATFORM="x86_64_32-linux"

20:06:05 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.8/x86_64_32-linux"

20:06:05 ML_SYSTEM="polyml-5.8"

20:06:05 ML_OPTIONS="-H 4000 --maxheap 8G"

20:06:05 jobs = 10, threads = 4, numa = false

20:06:05

20:06:05 === BUILD ===

20:06:05

20:06:05 Build started at Sun, 7 Apr 2019 18:06:05 GMT

20:06:05 Isabelle id 66dad5805079

20:06:05 AFP id f086cb88f540

20:06:05

20:06:05 === LOG ===

20:06:05

20:06:06 Session Pure/Pure

20:06:07 Session CTT/CTT

20:06:07 Session Cube/Cube

20:06:07 Session FOL/FOL

20:06:07 Session CCL/CCL

20:06:07 Session FOL/FOL-ex

20:06:07 Session FOLP/FOLP

20:06:07 Session FOLP/FOLP-ex

20:06:07 Session HOL/HOL (main)

20:06:08 Session AFP/AVL-Trees (AFP)

20:06:08 Session AFP/AWN (AFP)

20:06:08 Session AFP/Abortable_Linearizable_Modules (AFP)

20:06:08 Session AFP/Abstract-Hoare-Logics (AFP)

20:06:08 Session AFP/AnselmGod (AFP)

20:06:08 Session AFP/AxiomaticCategoryTheory (AFP)

20:06:08 Session AFP/BinarySearchTree (AFP)

20:06:08 Session AFP/Binomial-Queues (AFP)

20:06:08 Session AFP/Bondy (AFP)

20:06:08 Session AFP/Bounded_Deducibility_Security (AFP)

20:06:08 Session AFP/BytecodeLogicJmlTypes (AFP)

20:06:08 Session AFP/CISC-Kernel (AFP)

20:06:08 Session AFP/CYK (AFP)

20:06:08 Session AFP/Cauchy (AFP)

20:06:08 Session AFP/Sqrt_Babylonian (AFP)

20:06:08 Session Doc/Classes (doc)

20:06:08 Session AFP/ClockSynchInst (AFP)

20:06:08 Session AFP/Compiling-Exceptions-Correctly (AFP)

20:06:08 Session AFP/ComponentDependencies (AFP)

20:06:09 Session AFP/Concurrent_Revisions (AFP)

20:06:09 Session AFP/Constructor_Funs (AFP)

20:06:09 Session AFP/CryptoBasedCompositionalProperties (AFP)

20:06:09 Session AFP/DPT-SAT-Solver (AFP)

20:06:09 Session AFP/Depth-First-Search (AFP)

20:06:09 Session AFP/Diophantine_Eqns_Lin_Hom (AFP)

20:06:09 Session AFP/DiskPaxos (AFP)

20:06:09 Session AFP/Example-Submission (AFP)

20:06:09 Session AFP/FFT (AFP)

20:06:09 Session AFP/FLP (AFP)

20:06:09 Session AFP/FeatherweightJava (AFP)

20:06:09 Session AFP/Featherweight_OCL (AFP)

20:06:09 Session AFP/FileRefinement (AFP)

20:06:09 Session AFP/FocusStreamsCaseStudies (AFP)

20:06:09 Session AFP/Free-Boolean-Algebra (AFP)

20:06:09 Session AFP/FunWithFunctions (AFP)

20:06:09 Session AFP/FunWithTilings (AFP)

20:06:09 Session Doc/Functions (doc)

20:06:09 Session AFP/GPU_Kernel_PL (AFP)

20:06:09 Session AFP/Gauss-Jordan-Elim-Fun (AFP)

20:06:09 Session AFP/GenClock (AFP)

20:06:09 Session AFP/General-Triangle (AFP)

20:06:09 Session AFP/Generic_Deriving (AFP)

20:06:09 Session AFP/GewirthPGCProof (AFP)

20:06:09 Session AFP/GoedelGod (AFP)

20:06:09 Session HOL/HOL-Cardinals (timing)

20:06:09 Session AFP/Ordinals_and_Cardinals (AFP)

20:06:09 Session AFP/Sort_Encodings (AFP)

20:06:09 *** Cannot load theory "HOL-Library.Countable_Set_Type"

20:06:09 *** The error(s) above occurred in session "Sort_Encodings" (line 3 of "/media/data/jenkins/workspace/isabelle-all/afp/thys/Sort_Encodings/ROOT")

20:06:09 Build step 'Execute shell' marked build as failure

20:06:10 Archiving artifacts

20:09:23 Started calculate disk usage of build

20:09:23 Finished Calculation of disk usage of build in 0 seconds

20:09:32 Started calculate disk usage of workspace

20:09:33 Finished Calculation of disk usage of workspace in 0 seconds

20:09:33 No emails were triggered.

20:09:33 Finished: FAILURE