Started by an SCM change Running as SYSTEM [EnvInject] - Loading node environment variables. Building remotely on workerls211 (slurm_master) in workspace /media/data/jenkins/workspace/isabelle-distributed [isabelle-distributed] $ hg showconfig paths.default [isabelle-distributed] $ hg pull --rev default pulling from http://isabelle.in.tum.de/repos/isabelle/ real URL is https://isabelle.in.tum.de/repos/isabelle/ no changes found [isabelle-distributed] $ hg update --clean --rev default 5 files updated, 0 files merged, 0 files removed, 0 files unresolved [isabelle-distributed] $ hg log --rev . --template {node} [isabelle-distributed] $ hg log --rev . --template {rev} [isabelle-distributed] $ hg log --rev 4bb7eb16b867f7ffa785d2a45c253f3c5b1bf5ca --template exists\n exists [isabelle-distributed] $ hg log --template "{desc|xmlescape}{file_adds % '{file|xmlescape}'}{file_dels % '{file|xmlescape}'}{files % '{file|xmlescape}'}{parents}\n" --rev "ancestors('default') and not ancestors(4bb7eb16b867f7ffa785d2a45c253f3c5b1bf5ca)" --encoding UTF-8 --encodingmode replace [afp] $ hg showconfig paths.default [afp] $ hg pull --rev default pulling from https://foss.heptapod.net/isa-afp/afp-devel/ no changes found [afp] $ hg update --clean --rev default 0 files updated, 0 files merged, 0 files removed, 0 files unresolved [afp] $ hg --config extensions.purge= clean --all [afp] $ hg log --rev . --template {node} [afp] $ hg log --rev . --template {rev} [afp] $ hg log --rev ad29f283d9c5d7d35480981802e11c24fc52f5d7 --template exists\n exists [afp] $ hg log --template "{desc|xmlescape}{file_adds % '{file|xmlescape}'}{file_dels % '{file|xmlescape}'}{files % '{file|xmlescape}'}{parents}\n" --rev "ancestors('default') and not ancestors(ad29f283d9c5d7d35480981802e11c24fc52f5d7)" --encoding UTF-8 --encodingmode replace The recommended git tool is: NONE No credentials specified > git rev-parse --resolve-git-dir /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/.git # timeout=10 Fetching changes from the remote Git repository > git config remote.origin.url https://github.com/isabelle-prover/isabelle-context-build.git # timeout=10 Fetching upstream changes from https://github.com/isabelle-prover/isabelle-context-build.git > git --version # timeout=10 > git --version # 'git version 2.34.1' > git fetch --tags --force --progress -- https://github.com/isabelle-prover/isabelle-context-build.git +refs/heads/*:refs/remotes/origin/* # timeout=10 > git rev-parse refs/remotes/origin/master^{commit} # timeout=10 Checking out Revision 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d (refs/remotes/origin/master) > git config core.sparsecheckout # timeout=10 > git checkout -f 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d # timeout=10 Commit message: "update to current Isabelle;" > git rev-list --no-walk 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d # timeout=10 [isabelle-distributed] $ /bin/sh -xe /tmp/jenkins1220255869726624694.sh + bin/isabelle components -a + bin/isabelle jedit -b ### Building AFP/Tools (/media/data/jenkins/workspace/isabelle-distributed/afp/admin/jenkins/../../tools/lib/classes/afp_tools.jar) ... ### Building Isabelle Context Build (/media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/lib/context_build.jar) ... Not found: NUMA Not found: NUMA too many arguments for constructor Build_Job in trait Build_Job: (): isabelle.Build_Job method build_session in object Browser_Info: (context: isabelle.Browser_Info.Context, session_context: isabelle.Export.Session_Context , progress: isabelle.Progress): Unit does not have a parameter verbose Found: (command_timings : isabelle.Bytes) Required: List[isabelle.Properties.T] method deps in object Sessions: (sessions_structure: isabelle.Sessions.Structure, progress: isabelle.Progress , inlined_files: Boolean, list_files: Boolean, check_keywords: Set[String]): isabelle.Sessions.Deps does not have a parameter verbose value prepare_output_dir is not a member of isabelle.Sessions.Store Found: (relevant : Any) Required: Boolean Found: (ok : Any) Required: Boolean value Session_Info is not a member of object isabelle.Build Found: (String, Boolean) => Unit Required: String => Unit Found: (String, Boolean) => Unit Required: String => Unit Not found: NUMA method init in object Options: (prefs: String, specs: List[isabelle.Options.Spec]): isabelle.Options does not have a parameter opts method init in object Options: (prefs: String, specs: List[isabelle.Options.Spec]): isabelle.Options does not have a parameter opts too many arguments for constructor Build_Job in trait Build_Job: (): isabelle.Build_Job method init in object Options: (prefs: String, specs: List[isabelle.Options.Spec]): isabelle.Options does not have a parameter opts Found: (isabelle.Path, isabelle.SSH.System) => Boolean Required: isabelle.Path => Boolean Found: (where_equal : isabelle.SQL.Source) Required: Boolean 19 errors found -- [E006] Not Found Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/build_scheduler.scala:27:45 27 | class Local_Scheduler(max_jobs: Int, numa: NUMA.Nodes) extends Scheduler { | ^^^^ | Not found: NUMA | | longer explanation available when compiling with `-explain` -- [E006] Not Found Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/build_scheduler.scala:137:10 137 | numa: NUMA.Nodes, | ^^^^ | Not found: NUMA | | longer explanation available when compiling with `-explain` -- Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/build_scheduler.scala:174:8 174 | progress, build.deps.background(task.session_name), build.store, task.do_store, | ^^^^^^^^ |too many arguments for constructor Build_Job in trait Build_Job: (): isabelle.Build_Job -- Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/build_scheduler.scala:197:81 197 | Browser_Info.build_session(context1, _, progress = progress, verbose = task.verbose)) | ^^^^^^^^^^^^^^^^^^^^^^ |method build_session in object Browser_Info: (context: isabelle.Browser_Info.Context, session_context: | isabelle.Export.Session_Context |, progress: isabelle.Progress): Unit does not have a parameter verbose -- [E007] Type Mismatch Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:41:11 41 | (command_timings, session_timing) | ^^^^^^^^^^^^^^^ | Found: (command_timings : isabelle.Bytes) | Required: List[isabelle.Properties.T] | | longer explanation available when compiling with `-explain` -- Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:128:61 128 | progress = progress, inlined_files = true, verbose = verbose, | ^^^^^^^^^^^^^^^^^ |method deps in object Sessions: (sessions_structure: isabelle.Sessions.Structure, progress: isabelle.Progress | , |inlined_files: Boolean, list_files: Boolean, check_keywords: Set[String]): | isabelle.Sessions.Deps does not have a parameter verbose -- [E008] Not Found Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:191:12 191 | store.prepare_output_dir() | ^^^^^^^^^^^^^^^^^^^^^^^^ | value prepare_output_dir is not a member of isabelle.Sessions.Store -- [E007] Type Mismatch Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:196:14 196 | if (relevant) { | ^^^^^^^^ | Found: (relevant : Any) | Required: Boolean | | longer explanation available when compiling with `-explain` -- [E007] Type Mismatch Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:197:16 197 | if (ok) progress.echo("Cleaned " + name) | ^^ | Found: (ok : Any) | Required: Boolean | | longer explanation available when compiling with `-explain` -- [E008] Not Found Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:280:30 280 | Build.Session_Info(build_deps.sources_shasum(session_name), | ^^^^^^^^^^^^^^^^^^ | value Session_Info is not a member of object isabelle.Build -- [E007] Type Mismatch Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:285:51 285 | process_result.err_lines.foreach(progress.echo) | ^^^^^^^^^^^^^ | Found: (String, Boolean) => Unit | Required: String => Unit | | longer explanation available when compiling with `-explain` -- [E007] Type Mismatch Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:301:51 301 | process_result.err_lines.foreach(progress.echo) | ^^^^^^^^^^^^^ | Found: (String, Boolean) => Unit | Required: String => Unit | | longer explanation available when compiling with `-explain` -- [E006] Not Found Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:466:60 466 | var scheduler: Scheduler = new Local_Scheduler(1, new NUMA.Nodes(false)) | ^^^^ | Not found: NUMA | | longer explanation available when compiling with `-explain` -- Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/context_build.scala:483:38 483 | var options = Options.init(opts = build_options) | ^^^^^^^^^^^^^^^^^^^^ |method init in object Options: (prefs: String, specs: List[isabelle.Options.Spec]): isabelle.Options does not have a parameter opts -- Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/remote_browser_info.scala:176:38 176 | var options = Options.init(opts = build_options) | ^^^^^^^^^^^^^^^^^^^^ |method init in object Options: (prefs: String, specs: List[isabelle.Options.Spec]): isabelle.Options does not have a parameter opts -- Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/remote_build_job.scala:105:20 105 | new Build_Job(progress, deps.background(session_name), store, do_store, | ^^^^^^^^ |too many arguments for constructor Build_Job in trait Build_Job: (): isabelle.Build_Job -- Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/remote_build_job.scala:119:38 119 | var options = Options.init(opts = build_options) | ^^^^^^^^^^^^^^^^^^^^ |method init in object Options: (prefs: String, specs: List[isabelle.Options.Spec]): isabelle.Options does not have a parameter opts -- [E007] Type Mismatch Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/slurm.scala:190:25 190 | info.dirs.filter(Sessions.is_session_dir).map(File.symbolic_path) | ^^^^^^^^^^^^^^^^^^^^^^^ | Found: (isabelle.Path, isabelle.SSH.System) => Boolean | Required: isabelle.Path => Boolean | | longer explanation available when compiling with `-explain` -- [E007] Type Mismatch Error: /media/data/jenkins/workspace/isabelle-distributed/isabelle-context-build/src/slurm.scala:304:68 304 | db.using_statement(Data.table.select(List(Data.build_id), where_equal))(stmt => | ^^^^^^^^^^^ | Found: (where_equal : isabelle.SQL.Source) | Required: Boolean | | longer explanation available when compiling with `-explain` 19 errors found *** Failed to compile Scala sources Build step 'Execute shell' marked build as failure Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds Finished: FAILURE