[EnvInject] - Loading node environment variables.
workerls211 (slurm_master) in workspace /media/data/jenkins/workspace/isabelle-distributed Building remotely on
[isabelle-distributed] $ hg showconfig paths.default
[isabelle-distributed] $ hg pull --rev default
http://isabelle.in.tum.de/repos/isabelle/ pulling from
https://isabelle.in.tum.de/repos/isabelle/ real URL is
[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
[isabelle-distributed] $ 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(4bb7eb16b867f7ffa785d2a45c253f3c5b1bf5ca)" --encoding UTF-8 --encodingmode replace
[afp] $ hg showconfig paths.default
https://foss.heptapod.net/isa-afp/afp-devel/ pulling from
[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
[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(ad29f283d9c5d7d35480981802e11c24fc52f5d7)" --encoding UTF-8 --encodingmode replace
The recommended git tool is: NONE
> 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
https://github.com/isabelle-prover/isabelle-context-build.git # timeout=10 > git config remote.origin.url
https://github.com/isabelle-prover/isabelle-context-build.git Fetching upstream changes from
> git --version # 'git version 2.34.1'
https://github.com/isabelle-prover/isabelle-context-build.git +refs/heads/*:refs/remotes/origin/* # timeout=10 > git fetch --tags --force --progress --
> 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
### 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) ...
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
value Session_Info is not a member of object isabelle.Build
Found: (String, Boolean) => Unit
Found: (String, Boolean) => Unit
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)
-- [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 {
| 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
| 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
| 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)
| 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
| 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
| 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))
| 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)
| longer explanation available when compiling with `-explain`
*** 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