Build Logs

epfl-lara/lisa • scheduled_3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY

Errors

Warnings

Total Lines

234

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-20251228-e73ff2c-NIGHTLY

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-20251228-e73ff2c-NIGHTLY"

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

29----

30Starting build for 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY

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.1-RC1-bin-20251228-e73ff2c-NIGHTLY

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.1-RC1-bin-20251228-e73ff2c-NIGHTLY

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.1-RC1-bin-20251228-e73ff2c-NIGHTLY"

59"++3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -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"

65moduleMappings

66"runBuild 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY """{"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>\""}]}""" *%*"

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 9.165s.

74[info] done compiling

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

76Cloning into '/root/.sbt/1.0/staging/f20b850a41adc83be88a/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/f20b850a41adc83be88a/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.1-RC1-bin-20251228-e73ff2c-NIGHTLY

82OpenCB::Limitting incorrect crossVersions List(3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY) -> List(2.13.16) in lisa-kernel/crossScalaVersions

83OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in lisa/crossScalaVersions

84OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in lisa-utils/crossScalaVersions

85OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in lisa-examples/crossScalaVersions

86OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in lisa-sets/crossScalaVersions

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

88[info] Setting Scala version to 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY on 4 projects.

89[info] Switching Scala version on:

90[info] lisa-examples (3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

91[info] * lisa (3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

92[info] lisa-utils (3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

93[info] lisa-sets (3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

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#0b4ffa55c71415e925080608707c78ada1d750e5"), "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 Dec 28, 2025, 5:26:15 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=.*trait or object is defined in the compilation unit.*:silent, -language:experimental.modularity, -Xsemanticdb, -semanticdb-target, /build/repo/lisa-examples/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/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#0b4ffa55c71415e925080608707c78ada1d750e5,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 2 Scala sources to /root/.sbt/1.0/staging/f20b850a41adc83be88a/scala-tptp-parser/target/scala-2.13/classes ...

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

136[info] done compiling

137[info] done compiling

138[info] compiling 25 Scala sources to /build/repo/lisa-utils/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/classes ...

139[info] done compiling

140[info] compiling 89 Scala sources to /build/repo/lisa-sets/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/classes ...

141[info] done compiling

142[info] compiling 5 Scala sources to /build/repo/lisa-examples/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/classes ...

143[info] done compiling

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

145Compile scalacOptions: -unchecked, -language:implicitConversions, -Wconf:msg=.*trait or object is defined in the compilation unit.*:silent, -language:experimental.modularity, -Xsemanticdb, -semanticdb-target, /build/repo/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

146[info] compiling 16 Scala sources to /build/repo/lisa-utils/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/test-classes ...

147[info] done compiling

148[info] compiling 12 Scala sources to /build/repo/lisa-sets/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/test-classes ...

149[info] done compiling

150Starting build for ProjectRef(https://github.com/SC-TPTP/scala-tptp-parser.git#0b4ffa55c71415e925080608707c78ada1d750e5,tptpParser) (scala-tptp-parser)... [2/6]

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

152OpenCB::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#0b4ffa55c71415e925080608707c78ada1d750e5,tptpParser)), Select(ConfigKey(test)), Zero, Zero)

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

154[info] done compiling

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

156Compile scalacOptions: -unchecked, -language:implicitConversions, -Wconf:msg=.*trait or object is defined in the compilation unit.*:silent, -language:experimental.modularity, -Xsemanticdb, -semanticdb-target, /build/repo/lisa-sets/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

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

158Compile scalacOptions: -unchecked, -language:implicitConversions, -Wconf:msg=.*trait or object is defined in the compilation unit.*:silent, -language:experimental.modularity, -Xsemanticdb, -semanticdb-target, /build/repo/lisa-utils/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

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

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

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

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

163

164************************

165Build summary:

166[{

167 "module": "lisa-examples",

168 "compile": {"status": "ok", "tookMs": 78168, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

173 "metadata": {

174 "crossScalaVersions": ["3.7.2"]

175}

176},{

177 "module": "lisa",

178 "compile": {"status": "ok", "tookMs": 318, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

183 "metadata": {

184 "crossScalaVersions": ["3.7.2"]

185}

186},{

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

188 "compile": {"status": "ok", "tookMs": 36, "warnings": 0, "errors": 0},

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

190 "test-compile": {"status": "ok", "tookMs": 980, "warnings": 0, "errors": 0},

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

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

193 "metadata": {

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

195}

196},{

197 "module": "lisa-sets",

198 "compile": {"status": "ok", "tookMs": 209, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

203 "metadata": {

204 "crossScalaVersions": ["3.7.2"]

205}

206},{

207 "module": "lisa-utils",

208 "compile": {"status": "ok", "tookMs": 138, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

213 "metadata": {

214 "crossScalaVersions": ["3.7.2"]

215}

216},{

217 "module": "lisa-kernel",

218 "compile": {"status": "ok", "tookMs": 50, "warnings": 0, "errors": 0},

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

220 "test-compile": {"status": "ok", "tookMs": 74, "warnings": 0, "errors": 0},

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

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

223 "metadata": {

224 "crossScalaVersions": ["3.7.2"]

225}

226}]

227************************

228[success] Total time: 112 s (0:01:52.0), completed Dec 28, 2025, 5:28:07 PM

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

230Checking patch project/build.properties...

231Checking patch build.sbt...

232Applied patch project/plugins.sbt cleanly.

233Applied patch project/build.properties cleanly.

234Applied patch build.sbt cleanly.