Build Logs
epfl-lara/lisa • 3.8.0-RC2:2025-11-27
Errors
0
Warnings
117
Total Lines
351
1##################################
2Clonning https://github.com/epfl-lara/lisa.git into /build/repo using revision
3##################################
4Would override fixed Scala version: 3.7.2
5----
6Preparing build for 3.8.0-RC2
7Scala binary version found: 3.8
8Implicitly using source version 3.8
9Scala binary version found: 3.8
10Implicitly using source version 3.8
11Would try to apply common scalacOption (best-effort, sbt/mill only):
12Append: ,REQUIRE:-source:3.8
13Remove: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e
14
15Try apply source patch:
16Path: build.sbt
17Pattern: ThisBuild / semanticdbVersion := scalafixSemanticdb.revision
18Replacement: // ThisBuild / semanticdbVersion := scalafixSemanticdb.revision
19Starting compilation server
20Compiling project (Scala 3.7.3, JVM (17))
21Compiled project (Scala 3.7.3, JVM (17))
22Failed to apply pattern 'ThisBuild / semanticdbVersion := scalafixSemanticdb.revision' in build.sbt
23
24Try apply source patch:
25Path: build.sbt
26Pattern: val scala3 = "3.7.2"
27Replacement: val scala3 = "3.8.0-RC2"
28Successfully applied pattern 'val scala3 = "3.7.2"' in build.sbt
29----
30Starting build for 3.8.0-RC2
31Execute tests: false
32sbt project found:
33Sbt version 1.10.1 is not supported, minimal supported version is 1.11.5
34Enforcing usage of sbt in version 1.11.5
35No prepare script found for project epfl-lara/lisa
36##################################
37Scala version: 3.8.0-RC2
38Targets: *%*
39Project projectConfig: {"projects":{"exclude":["scallion","scallion-examples","scallion-benchmarks"],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"ThisBuild / semanticdbVersion := scalafixSemanticdb.revision","replaceWith":"// ThisBuild / semanticdbVersion := scalafixSemanticdb.revision"},{"path":"build.sbt","pattern":"val scala3 = \"3.7.2\"","replaceWith":"val scala3 = \"<SCALA_VERSION>\""}]}
40##################################
41Using extra scalacOptions: ,REQUIRE:-source:3.8
42Filtering out scalacOptions: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e
43[sbt_options] declare -a sbt_options=()
44[process_args] java_version = '17'
45[copyRt] java9_rt = '/root/.sbt/1.0/java9-rt-ext-eclipse_adoptium_17_0_8/rt.jar'
46# Executing command line:
47java
48-Dfile.encoding=UTF-8
49-Dcommunitybuild.scala=3.8.0-RC2
50-Dcommunitybuild.project.dependencies.add=
51-Xmx7G
52-Xms4G
53-Xss8M
54-Dsbt.script=/root/.sdkman/candidates/sbt/current/bin/sbt
55-Dscala.ext.dirs=/root/.sbt/1.0/java9-rt-ext-eclipse_adoptium_17_0_8
56-jar
57/root/.sdkman/candidates/sbt/1.11.5/bin/sbt-launch.jar
58"setCrossScalaVersions 3.8.0-RC2"
59"++3.8.0-RC2 -v"
60"mapScalacOptions ",REQUIRE:-source:3.8,-Wconf:msg=can be rewritten automatically under:s" ",-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e""
61"set every credentials := Nil"
62"excludeLibraryDependency com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}"
63"removeScalacOptionsStartingWith -P:wartremover"
64
65moduleMappings
66"runBuild 3.8.0-RC2 """{"projects":{"exclude":["scallion","scallion-examples","scallion-benchmarks"],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"ThisBuild / semanticdbVersion := scalafixSemanticdb.revision","replaceWith":"// ThisBuild / semanticdbVersion := scalafixSemanticdb.revision"},{"path":"build.sbt","pattern":"val scala3 = \"3.7.2\"","replaceWith":"val scala3 = \"<SCALA_VERSION>\""}]}""" *%*"
67
68[info] welcome to sbt 1.11.5 (Eclipse Adoptium Java 17.0.8)
69[info] loading settings for project repo-build from akka.sbt, plugins.sbt...
70[info] loading project definition from /build/repo/project
71[info] compiling 2 Scala sources to /build/repo/project/target/scala-2.12/sbt-1.0/classes ...
72[info] Non-compiled module 'compiler-bridge_2.12' for Scala 2.12.20. Compiling...
73[info] Compilation completed in 8.689s.
74[info] done compiling
75[info] loading settings for project lisa from build.sbt...
76Cloning into '/root/.sbt/1.0/staging/e99f3b4e15a4ac30ac6f/scala-tptp-parser'...
77[info] loading settings for project scala-tptp-parser-build from plugins.sbt...
78[info] loading project definition from /root/.sbt/1.0/staging/e99f3b4e15a4ac30ac6f/scala-tptp-parser/project
79[info] loading settings for project tptpParser from build.sbt...
80[info] set current project to lisa (in build file:/build/repo/)
81Execute setCrossScalaVersions: 3.8.0-RC2
82OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in lisa-utils/crossScalaVersions
83OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in lisa-sets/crossScalaVersions
84OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in lisa-examples/crossScalaVersions
85OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in lisa/crossScalaVersions
86OpenCB::Limitting incorrect crossVersions List(3.8.0-RC2) -> List(2.13.16) in lisa-kernel/crossScalaVersions
87[info] set current project to lisa (in build file:/build/repo/)
88[info] Setting Scala version to 3.8.0-RC2 on 4 projects.
89[info] Switching Scala version on:
90[info] lisa-examples (3.8.0-RC2)
91[info] * lisa (3.8.0-RC2)
92[info] lisa-utils (3.8.0-RC2)
93[info] lisa-sets (3.8.0-RC2)
94[info] Excluding projects:
95[info] lisa-kernel (2.13.16)
96[info] tptpParser (2.13.15)
97[info] Reapplying settings...
98[info] set current project to lisa (in build file:/build/repo/)
99Execute mapScalacOptions: ,REQUIRE:-source:3.8,-Wconf:msg=can be rewritten automatically under:s ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e
100[info] Reapplying settings...
101[info] set current project to lisa (in build file:/build/repo/)
102[info] Defining Global / credentials, ProjectRef(uri("https://github.com/SC-TPTP/scala-tptp-parser.git#851338c4175036279279835d9f58895aed2f37ba"), "tptpParser") / credentials and 4 others.
103[info] The new values will be used by Compile / scalafmtOnly, Global / pgpSelectPassphrase and 45 others.
104[info] Run `last` for details.
105[info] Reapplying settings...
106[info] set current project to lisa (in build file:/build/repo/)
107Execute excludeLibraryDependency: com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}
108[info] Reapplying settings...
109OpenCB::Failed to reapply settings in excludeLibraryDependency: Reference to undefined setting:
110
111 Global / allExcludeDependencies from Global / allExcludeDependencies (CommunityBuildPlugin.scala:331)
112 Did you mean allExcludeDependencies ?
113 , retry without global scopes
114[info] Reapplying settings...
115[info] set current project to lisa (in build file:/build/repo/)
116Execute removeScalacOptionsStartingWith: -P:wartremover
117[info] Reapplying settings...
118[info] set current project to lisa (in build file:/build/repo/)
119[success] Total time: 0 s, completed Nov 27, 2025, 9:40:19 PM
120Build config: {"projects":{"exclude":["scallion","scallion-examples","scallion-benchmarks"],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"ThisBuild / semanticdbVersion := scalafixSemanticdb.revision","replaceWith":"// ThisBuild / semanticdbVersion := scalafixSemanticdb.revision"},{"path":"build.sbt","pattern":"val scala3 = \"3.7.2\"","replaceWith":"val scala3 = \"<SCALA_VERSION>\""}]}
121Parsed config: Success(ProjectBuildConfig(ProjectsConfig(List(scallion, scallion-examples, scallion-benchmarks),Map()),CompileOnly,List()))
122Starting build...
123Projects: Set(lisa-examples, tptpParser, lisa, lisa-utils, lisa-kernel, lisa-sets)
124Starting build for ProjectRef(file:/build/repo/,lisa-examples) (lisa-examples)... [0/6]
125OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.12.20 module Global
126OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.12.20 module Scope(Select(BuildRef(file:/build/repo/)), Zero, Zero, Zero)
127OpenCB::Filter out '-feature', matches setting pattern '^-?-feature'
128OpenCB::Filter out '-deprecation', matches setting pattern '^-?-deprecation'
129Compile scalacOptions: -unchecked, -language:implicitConversions, -Wconf:msg=.*will never be selected.*:silent, -language:experimental.modularity, -Xsemanticdb, -semanticdb-target, /build/repo/lisa-examples/target/scala-3.8.0-RC2/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8
130OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.13.16 module Scope(Select(ProjectRef(file:/build/repo/,lisa-kernel)), Zero, Zero, Zero)
131OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.13.15 module Scope(Select(ProjectRef(https://github.com/SC-TPTP/scala-tptp-parser.git#851338c4175036279279835d9f58895aed2f37ba,tptpParser)), Select(ConfigKey(compile)), Zero, Zero)
132OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.13.16 module Scope(Select(ProjectRef(file:/build/repo/,lisa-kernel)), Select(ConfigKey(compile)), Zero, Zero)
133OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.13.16 module Scope(Select(ProjectRef(file:/build/repo/,lisa-kernel)), Select(ConfigKey(compile)), Select(compile), Zero)
134[info] compiling 8 Scala sources to /build/repo/lisa-kernel/target/scala-2.13/classes ...
135[info] compiling 2 Scala sources to /root/.sbt/1.0/staging/e99f3b4e15a4ac30ac6f/scala-tptp-parser/target/scala-2.13/classes ...
136[info] done compiling
137[warn] 1 deprecation; re-run with -deprecation for details
138[warn] one warning found
139[info] done compiling
140[info] compiling 25 Scala sources to /build/repo/lisa-utils/target/scala-3.8.0-RC2/classes ...
141[warn] -- [E030] Match case Unreachable Warning: /build/repo/lisa-utils/src/main/scala/lisa/utils/KernelHelpers.scala:505:13
142[warn] 505 | case RunningTheoryJudgement.ValidJustification(just) =>
143[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
144[warn] | Unreachable case
145[warn] there were 6 deprecation warnings; re-run with -deprecation for details
146[warn] two warnings found
147[info] done compiling
148[info] compiling 89 Scala sources to /build/repo/lisa-sets/target/scala-3.8.0-RC2/classes ...
149[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/ADT/Frontend.scala:1:35
150[warn] 1 |package lisa.maths.SetTheory.Types.ADT
151[warn] |^
152[warn] |No class, trait or object is defined in the compilation unit.
153[warn] |The incremental compiler cannot record the dependency information in such case.
154[warn] |Some errors like unused import referring to a non-existent class might not be reported.
155[warn] 2 |import lisa.utils.fol.FOL.*
156[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/ADT/Functions.scala:5:35
157[warn] 5 |package lisa.maths.SetTheory.Types.ADT
158[warn] |^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
159[warn] |No class, trait or object is defined in the compilation unit.
160[warn] |The incremental compiler cannot record the dependency information in such case.
161[warn] |Some errors like unused import referring to a non-existent class might not be reported.
162[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/ADT/Helpers.scala:1:35
163[warn] 1 |package lisa.maths.SetTheory.Types.ADT
164[warn] |^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
165[warn] |No class, trait or object is defined in the compilation unit.
166[warn] |The incremental compiler cannot record the dependency information in such case.
167[warn] |Some errors like unused import referring to a non-existent class might not be reported.
168[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/ADT/Tactics.scala:5:35
169[warn] 5 |package lisa.maths.settheory.types.adt
170[warn] |^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
171[warn] |No class, trait or object is defined in the compilation unit.
172[warn] |The incremental compiler cannot record the dependency information in such case.
173[warn] |Some errors like unused import referring to a non-existent class might not be reported.
174[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/ADT/Typed.scala:5:35
175[warn] 5 |package lisa.maths.SetTheory.Types.ADT
176[warn] |^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
177[warn] |No class, trait or object is defined in the compilation unit.
178[warn] |The incremental compiler cannot record the dependency information in such case.
179[warn] |Some errors like unused import referring to a non-existent class might not be reported.
180[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/ADT/Untyped.scala:12:35
181[warn] 12 |package lisa.maths.SetTheory.Types.ADT
182[warn] |^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
183[warn] |No class, trait or object is defined in the compilation unit.
184[warn] |The incremental compiler cannot record the dependency information in such case.
185[warn] |Some errors like unused import referring to a non-existent class might not be reported.
186[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/ADT/package.scala:1:29
187[warn] 1 |package lisa.maths.settheory.types
188[warn] |^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
189[warn] |No class, trait or object is defined in the compilation unit.
190[warn] |The incremental compiler cannot record the dependency information in such case.
191[warn] |Some errors like unused import referring to a non-existent class might not be reported.
192[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/TypeSystem.scala:1:29
193[warn] 1 |package lisa.maths.SetTheory.Types
194[warn] |^
195[warn] |No class, trait or object is defined in the compilation unit.
196[warn] |The incremental compiler cannot record the dependency information in such case.
197[warn] |Some errors like unused import referring to a non-existent class might not be reported.
198[warn] 2 |import lisa.utils.prooflib.*
199[warn] 3 |import lisa.utils.prooflib.ProofTacticLib.*
200[warn] 4 |import lisa.utils.prooflib.BasicStepTactic.*
201[warn] 5 |import lisa.utils.prooflib.SimpleDeducedSteps.*
202[warn] 6 |import lisa.automation.Tautology
203[warn] 7 |import lisa.maths.SetTheory.Base.Predef.{given, *}
204[warn] 8 |import lisa.maths.SetTheory.Functions.Predef.*
205[warn] 9 |import annotation.nowarn
206[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lisa-sets/src/main/scala/lisa/tptp/KernelParser.scala:106:4
207[warn] 106 | term match {
208[warn] | ^^^^
209[warn] |match may not be exhaustive.
210[warn] |
211[warn] |It would fail on pattern case: leo.datastructures.TPTP.FOF.QuantifiedTerm(_, Seq(_, _, _*), _), leo.datastructures.TPTP.FOF.QuantifiedTerm(_, Seq(), _)
212[warn] |
213[warn] | longer explanation available when compiling with `-explain`
214[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lisa-sets/src/main/scala/lisa/tptp/ProofParser.scala:700:14
215[warn] 700 | expr match
216[warn] | ^^^^
217[warn] |match may not be exhaustive.
218[warn] |
219[warn] |It would fail on pattern case: leo.datastructures.TPTP.GeneralTerm(_, _)
220[warn] |
221[warn] | longer explanation available when compiling with `-explain`
222[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lisa-sets/src/main/scala/lisa/tptp/ProofParser.scala:695:43
223[warn] 695 | val map = instantiations.map { case Tuple(Seq(String(sfl), expr, Sequence(varsl))) =>
224[warn] | ^
225[warn] |match may not be exhaustive.
226[warn] |
227[warn] |It would fail on pattern case: leo.datastructures.TPTP.GeneralTerm(_, _)
228[warn] |
229[warn] | longer explanation available when compiling with `-explain`
230[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lisa-sets/src/main/scala/lisa/SetTheoryLibrary.scala:163:11
231[warn] 163 | case x: Variable[Ind] => forall(x, φ)
232[warn] | ^
233[warn] |the type test for lisa.utils.fol.FOL.Variable[lisa.utils.fol.FOL.Ind] cannot be checked at runtime because its type arguments can't be determined from lisa.utils.fol.FOL.Expr[lisa.utils.fol.FOL.Prop]
234[warn] |
235[warn] | longer explanation available when compiling with `-explain`
236[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lisa-sets/src/main/scala/lisa/SetTheoryLibrary.scala:166:11
237[warn] 166 | case (x: Variable[Ind]) ∈ s => forall(x, x ∈ s ==> φ)
238[warn] | ^
239[warn] |the type test for lisa.utils.fol.FOL.Expr[lisa.utils.fol.FOL.Prop] cannot be checked at runtime because its type arguments can't be determined from lisa.utils.fol.FOL.Variable[lisa.utils.fol.FOL.Ind]
240[warn] |
241[warn] | longer explanation available when compiling with `-explain`
242[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lisa-sets/src/main/scala/lisa/SetTheoryLibrary.scala:179:11
243[warn] 179 | case x: Variable[Ind] => exists(x, φ)
244[warn] | ^
245[warn] |the type test for lisa.utils.fol.FOL.Variable[lisa.utils.fol.FOL.Ind] cannot be checked at runtime because its type arguments can't be determined from lisa.utils.fol.FOL.Expr[lisa.utils.fol.FOL.Prop]
246[warn] |
247[warn] | longer explanation available when compiling with `-explain`
248[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lisa-sets/src/main/scala/lisa/SetTheoryLibrary.scala:182:11
249[warn] 182 | case (x: Variable[Ind]) ∈ s => exists(x, x ∈ s /\ φ)
250[warn] | ^
251[warn] |the type test for lisa.utils.fol.FOL.Expr[lisa.utils.fol.FOL.Prop] cannot be checked at runtime because its type arguments can't be determined from lisa.utils.fol.FOL.Variable[lisa.utils.fol.FOL.Ind]
252[warn] |
253[warn] | longer explanation available when compiling with `-explain`
254[warn] there were 4 deprecation warnings; re-run with -deprecation for details
255[warn] 16 warnings found
256[info] done compiling
257[info] compiling 5 Scala sources to /build/repo/lisa-examples/target/scala-3.8.0-RC2/classes ...
258[info] done compiling
259Starting build for ProjectRef(file:/build/repo/,lisa) (lisa)... [1/6]
260Compile scalacOptions: -unchecked, -language:implicitConversions, -Wconf:msg=.*will never be selected.*:silent, -language:experimental.modularity, -Xsemanticdb, -semanticdb-target, /build/repo/target/scala-3.8.0-RC2/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8
261[info] compiling 16 Scala sources to /build/repo/lisa-utils/target/scala-3.8.0-RC2/test-classes ...
262[warn] there were 10 deprecation warnings; re-run with -deprecation for details
263[warn] one warning found
264[info] done compiling
265[info] compiling 12 Scala sources to /build/repo/lisa-sets/target/scala-3.8.0-RC2/test-classes ...
266[info] done compiling
267Starting build for ProjectRef(file:/build/repo/,lisa-sets) (lisa-sets)... [2/6]
268Compile scalacOptions: -unchecked, -language:implicitConversions, -Wconf:msg=.*will never be selected.*:silent, -language:experimental.modularity, -Xsemanticdb, -semanticdb-target, /build/repo/lisa-sets/target/scala-3.8.0-RC2/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8
269Starting build for ProjectRef(file:/build/repo/,lisa-utils) (lisa-utils)... [3/6]
270Compile scalacOptions: -unchecked, -language:implicitConversions, -Wconf:msg=.*will never be selected.*:silent, -language:experimental.modularity, -Xsemanticdb, -semanticdb-target, /build/repo/lisa-utils/target/scala-3.8.0-RC2/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8
271Starting build for ProjectRef(https://github.com/SC-TPTP/scala-tptp-parser.git#851338c4175036279279835d9f58895aed2f37ba,tptpParser) (scala-tptp-parser)... [4/6]
272Compile scalacOptions: -Wconf:msg=can be rewritten automatically under:s
273OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.13.15 module Scope(Select(ProjectRef(https://github.com/SC-TPTP/scala-tptp-parser.git#851338c4175036279279835d9f58895aed2f37ba,tptpParser)), Select(ConfigKey(test)), Zero, Zero)
274[info] compiling 2 Scala sources to /root/.sbt/1.0/staging/e99f3b4e15a4ac30ac6f/scala-tptp-parser/target/scala-2.13/test-classes ...
275[info] done compiling
276Starting build for ProjectRef(file:/build/repo/,lisa-kernel) (lisa-kernel)... [5/6]
277Compile scalacOptions: -unchecked, -Ypatmat-exhaust-depth, 50, -Xplugin:/root/.cache/coursier/v1/https/repo.scala-lang.org/artifactory/maven-nightlies/org/scalameta/semanticdb-scalac_2.13.16/4.13.6/semanticdb-scalac_2.13.16-4.13.6.jar, -Yrangepos, -P:semanticdb:targetroot:/build/repo/lisa-kernel/target/scala-2.13/meta, -Wconf:msg=can be rewritten automatically under:s
278OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.13.16 module Scope(Select(ProjectRef(file:/build/repo/,lisa-kernel)), Select(ConfigKey(test)), Zero, Zero)
279OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.13.16 module Scope(Select(ProjectRef(file:/build/repo/,lisa-kernel)), Select(ConfigKey(test)), Select(compile), Zero)
280
281************************
282Build summary:
283[{
284 "module": "lisa-examples",
285 "compile": {"status": "ok", "tookMs": 76246, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},
286 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},
287 "test-compile": {"status": "ok", "tookMs": 528, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},
288 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},
289 "publish": {"status": "skipped", "tookMs": 0},
290 "metadata": {
291 "crossScalaVersions": ["3.7.2"]
292}
293},{
294 "module": "lisa",
295 "compile": {"status": "ok", "tookMs": 320, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},
296 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},
297 "test-compile": {"status": "ok", "tookMs": 6006, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},
298 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},
299 "publish": {"status": "skipped", "tookMs": 0},
300 "metadata": {
301 "crossScalaVersions": ["3.7.2"]
302}
303},{
304 "module": "lisa-sets",
305 "compile": {"status": "ok", "tookMs": 222, "warnings": 15, "errors": 0, "sourceVersion": "3.8"},
306 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},
307 "test-compile": {"status": "ok", "tookMs": 298, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},
308 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},
309 "publish": {"status": "skipped", "tookMs": 0},
310 "metadata": {
311 "crossScalaVersions": ["3.7.2"]
312}
313},{
314 "module": "lisa-utils",
315 "compile": {"status": "ok", "tookMs": 132, "warnings": 1, "errors": 0, "sourceVersion": "3.8"},
316 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},
317 "test-compile": {"status": "ok", "tookMs": 163, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},
318 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},
319 "publish": {"status": "skipped", "tookMs": 0},
320 "metadata": {
321 "crossScalaVersions": ["3.7.2"]
322}
323},{
324 "module": "scala-tptp-parser",
325 "compile": {"status": "ok", "tookMs": 34, "warnings": 0, "errors": 0},
326 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},
327 "test-compile": {"status": "ok", "tookMs": 930, "warnings": 0, "errors": 0},
328 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},
329 "publish": {"status": "skipped", "tookMs": 0},
330 "metadata": {
331 "crossScalaVersions": ["2.13.15", "3.7.2"]
332}
333},{
334 "module": "lisa-kernel",
335 "compile": {"status": "ok", "tookMs": 45, "warnings": 0, "errors": 0},
336 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},
337 "test-compile": {"status": "ok", "tookMs": 83, "warnings": 0, "errors": 0},
338 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},
339 "publish": {"status": "skipped", "tookMs": 0},
340 "metadata": {
341 "crossScalaVersions": ["3.7.2"]
342}
343}]
344************************
345[success] Total time: 113 s (0:01:53.0), completed Nov 27, 2025, 9:42:12 PM
346[0JChecking patch project/plugins.sbt...
347Checking patch project/build.properties...
348Checking patch build.sbt...
349Applied patch project/plugins.sbt cleanly.
350Applied patch project/build.properties cleanly.
351Applied patch build.sbt cleanly.