Build Logs

epfl-lara/lisa • dotty-staging/dotty:fix-23773:2025-11-22

Errors

Warnings

117

Total Lines

352

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.1-RC1-bin-20251120-60444cb

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

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

24Try apply source patch:

25Path: build.sbt

26Pattern: val scala3 = "3.7.2"

27Replacement: val scala3 = "3.8.1-RC1-bin-20251120-60444cb"

28Successfully applied pattern 'val scala3 = "3.7.2"' in build.sbt

29----

30Starting build for 3.8.1-RC1-bin-20251120-60444cb

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/opencb/project-builder/sbt/prepare-project.sh: line 107: /root/.ssh/config: No such file or directory

37##################################

38Scala version: 3.8.1-RC1-bin-20251120-60444cb

39Targets: *%*

40Project 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>\""}]}

41##################################

42Using extra scalacOptions: ,REQUIRE:-source:3.8

43Filtering out scalacOptions: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

44[sbt_options] declare -a sbt_options=()

45[process_args] java_version = '17'

46[copyRt] java9_rt = '/root/.sbt/1.0/java9-rt-ext-eclipse_adoptium_17_0_8/rt.jar'

47# Executing command line:

48java

49-Dfile.encoding=UTF-8

50-Dcommunitybuild.scala=3.8.1-RC1-bin-20251120-60444cb

51-Dcommunitybuild.project.dependencies.add=

52-Xmx7G

53-Xms4G

54-Xss8M

55-Dsbt.script=/root/.sdkman/candidates/sbt/current/bin/sbt

56-Dscala.ext.dirs=/root/.sbt/1.0/java9-rt-ext-eclipse_adoptium_17_0_8

57-jar

58/root/.sdkman/candidates/sbt/1.11.5/bin/sbt-launch.jar

59"setCrossScalaVersions 3.8.1-RC1-bin-20251120-60444cb"

60"++3.8.1-RC1-bin-20251120-60444cb -v"

61"mapScalacOptions ",REQUIRE:-source:3.8,-Wconf:msg=can be rewritten automatically under:s" ",-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e""

62"set every credentials := Nil"

63"excludeLibraryDependency com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}"

64"removeScalacOptionsStartingWith -P:wartremover"

66moduleMappings

67"runBuild 3.8.1-RC1-bin-20251120-60444cb """{"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>\""}]}""" *%*"

69[info] welcome to sbt 1.11.5 (Eclipse Adoptium Java 17.0.8)

70[info] loading settings for project repo-build from akka.sbt, plugins.sbt...

71[info] loading project definition from /build/repo/project

72[info] compiling 2 Scala sources to /build/repo/project/target/scala-2.12/sbt-1.0/classes ...

73[info] Non-compiled module 'compiler-bridge_2.12' for Scala 2.12.20. Compiling...

74[info] Compilation completed in 8.856s.

75[info] done compiling

76[info] loading settings for project lisa from build.sbt...

77Cloning into '/root/.sbt/1.0/staging/e99f3b4e15a4ac30ac6f/scala-tptp-parser'...

78[info] loading settings for project scala-tptp-parser-build from plugins.sbt...

79[info] loading project definition from /root/.sbt/1.0/staging/e99f3b4e15a4ac30ac6f/scala-tptp-parser/project

80[info] loading settings for project tptpParser from build.sbt...

81[info] set current project to lisa (in build file:/build/repo/)

82Execute setCrossScalaVersions: 3.8.1-RC1-bin-20251120-60444cb

83OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251120-60444cb -> 3.8.1-RC1-bin-20251120-60444cb in lisa-utils/crossScalaVersions

84OpenCB::Limitting incorrect crossVersions List(3.8.1-RC1-bin-20251120-60444cb) -> List(2.13.16) in lisa-kernel/crossScalaVersions

85OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251120-60444cb -> 3.8.1-RC1-bin-20251120-60444cb in lisa/crossScalaVersions

86OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251120-60444cb -> 3.8.1-RC1-bin-20251120-60444cb in lisa-sets/crossScalaVersions

87OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251120-60444cb -> 3.8.1-RC1-bin-20251120-60444cb in lisa-examples/crossScalaVersions

88[info] set current project to lisa (in build file:/build/repo/)

89[info] Setting Scala version to 3.8.1-RC1-bin-20251120-60444cb on 4 projects.

90[info] Switching Scala version on:

91[info] lisa-examples (3.8.1-RC1-bin-20251120-60444cb)

92[info] * lisa (3.8.1-RC1-bin-20251120-60444cb)

93[info] lisa-utils (3.8.1-RC1-bin-20251120-60444cb)

94[info] lisa-sets (3.8.1-RC1-bin-20251120-60444cb)

95[info] Excluding projects:

96[info] lisa-kernel (2.13.16)

97[info] tptpParser (2.13.15)

98[info] Reapplying settings...

99[info] set current project to lisa (in build file:/build/repo/)

100Execute mapScalacOptions: ,REQUIRE:-source:3.8,-Wconf:msg=can be rewritten automatically under:s ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

101[info] Reapplying settings...

102[info] set current project to lisa (in build file:/build/repo/)

103[info] Defining Global / credentials, ProjectRef(uri("https://github.com/SC-TPTP/scala-tptp-parser.git#851338c4175036279279835d9f58895aed2f37ba"), "tptpParser") / credentials and 4 others.

104[info] The new values will be used by Compile / scalafmtOnly, Global / pgpSelectPassphrase and 45 others.

105[info] Run `last` for details.

106[info] Reapplying settings...

107[info] set current project to lisa (in build file:/build/repo/)

108Execute excludeLibraryDependency: com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}

109[info] Reapplying settings...

110OpenCB::Failed to reapply settings in excludeLibraryDependency: Reference to undefined setting:

111

112 Global / allExcludeDependencies from Global / allExcludeDependencies (CommunityBuildPlugin.scala:336)

113 Did you mean allExcludeDependencies ?

114 , retry without global scopes

115[info] Reapplying settings...

116[info] set current project to lisa (in build file:/build/repo/)

117Execute removeScalacOptionsStartingWith: -P:wartremover

118[info] Reapplying settings...

119[info] set current project to lisa (in build file:/build/repo/)

120[success] Total time: 0 s, completed Nov 22, 2025, 6:05:11 PM

121Build 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>\""}]}

122Parsed config: Success(ProjectBuildConfig(ProjectsConfig(List(scallion, scallion-examples, scallion-benchmarks),Map()),CompileOnly,List()))

123Starting build...

124Projects: Set(lisa-examples, tptpParser, lisa, lisa-utils, lisa-kernel, lisa-sets)

125Starting build for ProjectRef(file:/build/repo/,lisa-examples) (lisa-examples)... [0/6]

126OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.12.20 module Global

127OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.12.20 module Scope(Select(BuildRef(file:/build/repo/)), Zero, Zero, Zero)

128OpenCB::Filter out '-feature', matches setting pattern '^-?-feature'

129OpenCB::Filter out '-deprecation', matches setting pattern '^-?-deprecation'

130Compile 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.1-RC1-bin-20251120-60444cb/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

131OpenCB::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)

132OpenCB::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)

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)), Zero, Zero)

134OpenCB::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)

135[info] compiling 2 Scala sources to /root/.sbt/1.0/staging/e99f3b4e15a4ac30ac6f/scala-tptp-parser/target/scala-2.13/classes ...

136[info] compiling 8 Scala sources to /build/repo/lisa-kernel/target/scala-2.13/classes ...

137[info] done compiling

138[warn] 1 deprecation; re-run with -deprecation for details

139[warn] one warning found

140[info] done compiling

141[info] compiling 25 Scala sources to /build/repo/lisa-utils/target/scala-3.8.1-RC1-bin-20251120-60444cb/classes ...

142[warn] -- [E030] Match case Unreachable Warning: /build/repo/lisa-utils/src/main/scala/lisa/utils/KernelHelpers.scala:505:13

143[warn] 505 | case RunningTheoryJudgement.ValidJustification(just) =>

144[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

145[warn] | Unreachable case

146[warn] there were 6 deprecation warnings; re-run with -deprecation for details

147[warn] two warnings found

148[info] done compiling

149[info] compiling 89 Scala sources to /build/repo/lisa-sets/target/scala-3.8.1-RC1-bin-20251120-60444cb/classes ...

150[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/ADT/Frontend.scala:1:35

151[warn] 1 |package lisa.maths.SetTheory.Types.ADT

152[warn] |^

153[warn] |No class, trait or object is defined in the compilation unit.

154[warn] |The incremental compiler cannot record the dependency information in such case.

155[warn] |Some errors like unused import referring to a non-existent class might not be reported.

156[warn] 2 |import lisa.utils.fol.FOL.*

157[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/ADT/Functions.scala:5:35

158[warn] 5 |package lisa.maths.SetTheory.Types.ADT

159[warn] |^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

160[warn] |No class, trait or object is defined in the compilation unit.

161[warn] |The incremental compiler cannot record the dependency information in such case.

162[warn] |Some errors like unused import referring to a non-existent class might not be reported.

163[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/ADT/Helpers.scala:1:35

164[warn] 1 |package lisa.maths.SetTheory.Types.ADT

165[warn] |^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

166[warn] |No class, trait or object is defined in the compilation unit.

167[warn] |The incremental compiler cannot record the dependency information in such case.

168[warn] |Some errors like unused import referring to a non-existent class might not be reported.

169[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/ADT/Tactics.scala:5:35

170[warn] 5 |package lisa.maths.settheory.types.adt

171[warn] |^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

172[warn] |No class, trait or object is defined in the compilation unit.

173[warn] |The incremental compiler cannot record the dependency information in such case.

174[warn] |Some errors like unused import referring to a non-existent class might not be reported.

175[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/ADT/Typed.scala:5:35

176[warn] 5 |package lisa.maths.SetTheory.Types.ADT

177[warn] |^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

178[warn] |No class, trait or object is defined in the compilation unit.

179[warn] |The incremental compiler cannot record the dependency information in such case.

180[warn] |Some errors like unused import referring to a non-existent class might not be reported.

181[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/ADT/Untyped.scala:12:35

182[warn] 12 |package lisa.maths.SetTheory.Types.ADT

183[warn] |^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

184[warn] |No class, trait or object is defined in the compilation unit.

185[warn] |The incremental compiler cannot record the dependency information in such case.

186[warn] |Some errors like unused import referring to a non-existent class might not be reported.

187[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/ADT/package.scala:1:29

188[warn] 1 |package lisa.maths.settheory.types

189[warn] |^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

190[warn] |No class, trait or object is defined in the compilation unit.

191[warn] |The incremental compiler cannot record the dependency information in such case.

192[warn] |Some errors like unused import referring to a non-existent class might not be reported.

193[warn] -- Warning: /build/repo/lisa-sets/src/main/scala/lisa/maths/SetTheory/Types/TypeSystem.scala:1:29

194[warn] 1 |package lisa.maths.SetTheory.Types

195[warn] |^

196[warn] |No class, trait or object is defined in the compilation unit.

197[warn] |The incremental compiler cannot record the dependency information in such case.

198[warn] |Some errors like unused import referring to a non-existent class might not be reported.

199[warn] 2 |import lisa.utils.prooflib.*

200[warn] 3 |import lisa.utils.prooflib.ProofTacticLib.*

201[warn] 4 |import lisa.utils.prooflib.BasicStepTactic.*

202[warn] 5 |import lisa.utils.prooflib.SimpleDeducedSteps.*

203[warn] 6 |import lisa.automation.Tautology

204[warn] 7 |import lisa.maths.SetTheory.Base.Predef.{given, *}

205[warn] 8 |import lisa.maths.SetTheory.Functions.Predef.*

206[warn] 9 |import annotation.nowarn

207[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lisa-sets/src/main/scala/lisa/tptp/KernelParser.scala:106:4

208[warn] 106 | term match {

209[warn] | ^^^^

210[warn] |match may not be exhaustive.

211[warn] |

212[warn] |It would fail on pattern case: leo.datastructures.TPTP.FOF.QuantifiedTerm(_, Seq(_, _, _*), _), leo.datastructures.TPTP.FOF.QuantifiedTerm(_, Seq(), _)

213[warn] |

214[warn] | longer explanation available when compiling with `-explain`

215[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lisa-sets/src/main/scala/lisa/tptp/ProofParser.scala:700:14

216[warn] 700 | expr match

217[warn] | ^^^^

218[warn] |match may not be exhaustive.

219[warn] |

220[warn] |It would fail on pattern case: leo.datastructures.TPTP.GeneralTerm(_, _)

221[warn] |

222[warn] | longer explanation available when compiling with `-explain`

223[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lisa-sets/src/main/scala/lisa/tptp/ProofParser.scala:695:43

224[warn] 695 | val map = instantiations.map { case Tuple(Seq(String(sfl), expr, Sequence(varsl))) =>

225[warn] | ^

226[warn] |match may not be exhaustive.

227[warn] |

228[warn] |It would fail on pattern case: leo.datastructures.TPTP.GeneralTerm(_, _)

229[warn] |

230[warn] | longer explanation available when compiling with `-explain`

231[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lisa-sets/src/main/scala/lisa/SetTheoryLibrary.scala:163:11

232[warn] 163 | case x: Variable[Ind] => forall(x, φ)

233[warn] | ^

234[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]

235[warn] |

236[warn] | longer explanation available when compiling with `-explain`

237[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lisa-sets/src/main/scala/lisa/SetTheoryLibrary.scala:166:11

238[warn] 166 | case (x: Variable[Ind]) ∈ s => forall(x, x ∈ s ==> φ)

239[warn] | ^

240[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]

241[warn] |

242[warn] | longer explanation available when compiling with `-explain`

243[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lisa-sets/src/main/scala/lisa/SetTheoryLibrary.scala:179:11

244[warn] 179 | case x: Variable[Ind] => exists(x, φ)

245[warn] | ^

246[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]

247[warn] |

248[warn] | longer explanation available when compiling with `-explain`

249[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lisa-sets/src/main/scala/lisa/SetTheoryLibrary.scala:182:11

250[warn] 182 | case (x: Variable[Ind]) ∈ s => exists(x, x ∈ s /\ φ)

251[warn] | ^

252[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]

253[warn] |

254[warn] | longer explanation available when compiling with `-explain`

255[warn] there were 4 deprecation warnings; re-run with -deprecation for details

256[warn] 16 warnings found

257[info] done compiling

258[info] compiling 5 Scala sources to /build/repo/lisa-examples/target/scala-3.8.1-RC1-bin-20251120-60444cb/classes ...

259[info] done compiling

260Starting build for ProjectRef(file:/build/repo/,lisa) (lisa)... [1/6]

261Compile scalacOptions: -unchecked, -language:implicitConversions, -Wconf:msg=.*will never be selected.*:silent, -language:experimental.modularity, -Xsemanticdb, -semanticdb-target, /build/repo/target/scala-3.8.1-RC1-bin-20251120-60444cb/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

262[info] compiling 16 Scala sources to /build/repo/lisa-utils/target/scala-3.8.1-RC1-bin-20251120-60444cb/test-classes ...

263[warn] there were 10 deprecation warnings; re-run with -deprecation for details

264[warn] one warning found

265[info] done compiling

266[info] compiling 12 Scala sources to /build/repo/lisa-sets/target/scala-3.8.1-RC1-bin-20251120-60444cb/test-classes ...

267[info] done compiling

268Starting build for ProjectRef(file:/build/repo/,lisa-sets) (lisa-sets)... [2/6]

269Compile 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.1-RC1-bin-20251120-60444cb/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

270Starting build for ProjectRef(file:/build/repo/,lisa-utils) (lisa-utils)... [3/6]

271Compile 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.1-RC1-bin-20251120-60444cb/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

272Starting build for ProjectRef(https://github.com/SC-TPTP/scala-tptp-parser.git#851338c4175036279279835d9f58895aed2f37ba,tptpParser) (scala-tptp-parser)... [4/6]

273Compile scalacOptions: -Wconf:msg=can be rewritten automatically under:s

274OpenCB::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)

275[info] compiling 2 Scala sources to /root/.sbt/1.0/staging/e99f3b4e15a4ac30ac6f/scala-tptp-parser/target/scala-2.13/test-classes ...

276[info] done compiling

277Starting build for ProjectRef(file:/build/repo/,lisa-kernel) (lisa-kernel)... [5/6]

278Compile 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

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)), Zero, Zero)

280OpenCB::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)

281

282************************

283Build summary:

284[{

285 "module": "lisa-examples",

286 "compile": {"status": "ok", "tookMs": 76505, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

287 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

288 "test-compile": {"status": "ok", "tookMs": 665, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

289 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

290 "publish": {"status": "skipped", "tookMs": 0},

291 "metadata": {

292 "crossScalaVersions": ["3.7.2"]

293}

294},{

295 "module": "lisa",

296 "compile": {"status": "ok", "tookMs": 337, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

297 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

298 "test-compile": {"status": "ok", "tookMs": 5930, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

299 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

300 "publish": {"status": "skipped", "tookMs": 0},

301 "metadata": {

302 "crossScalaVersions": ["3.7.2"]

303}

304},{

305 "module": "lisa-sets",

306 "compile": {"status": "ok", "tookMs": 212, "warnings": 15, "errors": 0, "sourceVersion": "3.8"},

307 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

308 "test-compile": {"status": "ok", "tookMs": 285, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

309 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

310 "publish": {"status": "skipped", "tookMs": 0},

311 "metadata": {

312 "crossScalaVersions": ["3.7.2"]

313}

314},{

315 "module": "lisa-utils",

316 "compile": {"status": "ok", "tookMs": 143, "warnings": 1, "errors": 0, "sourceVersion": "3.8"},

317 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

318 "test-compile": {"status": "ok", "tookMs": 174, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

319 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

320 "publish": {"status": "skipped", "tookMs": 0},

321 "metadata": {

322 "crossScalaVersions": ["3.7.2"]

323}

324},{

325 "module": "scala-tptp-parser",

326 "compile": {"status": "ok", "tookMs": 47, "warnings": 0, "errors": 0},

327 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

328 "test-compile": {"status": "ok", "tookMs": 1026, "warnings": 0, "errors": 0},

329 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

330 "publish": {"status": "skipped", "tookMs": 0},

331 "metadata": {

332 "crossScalaVersions": ["2.13.15", "3.7.2"]

333}

334},{

335 "module": "lisa-kernel",

336 "compile": {"status": "ok", "tookMs": 41, "warnings": 0, "errors": 0},

337 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

338 "test-compile": {"status": "ok", "tookMs": 84, "warnings": 0, "errors": 0},

339 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

340 "publish": {"status": "skipped", "tookMs": 0},

341 "metadata": {

342 "crossScalaVersions": ["3.7.2"]

343}

344}]

345************************

346[success] Total time: 116 s (0:01:56.0), completed Nov 22, 2025, 6:07:07 PM

347[0JChecking patch project/plugins.sbt...

348Checking patch project/build.properties...

349Checking patch build.sbt...

350Applied patch project/plugins.sbt cleanly.

351Applied patch project/build.properties cleanly.

352Applied patch build.sbt cleanly.