Build Logs

japgolly/nyaya • 3.8.0-RC2:2025-11-26

Errors

Warnings

428

Total Lines

925

1##################################

2Clonning https://github.com/japgolly/nyaya.git into /build/repo using revision v1.1.0

3##################################

4Note: switching to '91032192f02af479662e50ee06e78bde873c6c1b'.

6You are in 'detached HEAD' state. You can look around, make experimental

7changes and commit them, and you can discard any commits you make in this

8state without impacting any branches by switching back to a branch.

10If you want to create a new branch to retain commits you create, you may

11do so (now or later) by using -c with the switch command. Example:

13 git switch -c <new-branch-name>

15Or undo this operation with:

17 git switch -

19Turn off this advice by setting config variable advice.detachedHead to false

21Would override fixed Scala version: 3.1.3

22Using target Scala version for migration: 3.7.4-RC2

23Migrating project for -source:3.4 using Scala 3.7.4-RC2

24----

25Preparing build for 3.7.4-RC2

26Would try to apply common scalacOption (best-effort, sbt/mill only):

27Append: -rewrite,REQUIRE:-source:3.4-migration

28Remove: -indent,-no-indent,-new-syntax,,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

30Try apply source patch:

31Path: project/Dependencies.scala

32Pattern: val scala3 = "3.1.3"

33Replacement: val scala3 = "3.7.4-RC2"

34Starting compilation server

35Compiling project (Scala 3.7.3, JVM (17))

36Compiled project (Scala 3.7.3, JVM (17))

37Successfully applied pattern 'val scala3 = "3.1.3"' in project/Dependencies.scala

38----

39Starting build for 3.7.4-RC2

40Execute tests: false

41sbt project found:

42Sbt version 1.7.1 is not supported, minimal supported version is 1.11.5

43Enforcing usage of sbt in version 1.11.5

44No prepare script found for project japgolly/nyaya

45/opencb/project-builder/sbt/prepare-project.sh: line 107: /root/.ssh/config: No such file or directory

46##################################

47Scala version: 3.7.4-RC2

48Targets: com.github.japgolly.nyaya%nyaya-gen com.github.japgolly.nyaya%nyaya-gen-circe com.github.japgolly.nyaya%nyaya-prop com.github.japgolly.nyaya%nyaya-test com.github.japgolly.nyaya%nyaya-util

49Project projectConfig: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":["3.4"],"sourcePatches":[{"path":"project/Dependencies.scala","pattern":"val scala3 = \"3.1.3\"","replaceWith":"val scala3 = \"<SCALA_VERSION>\""}]}

50##################################

51Using extra scalacOptions: -rewrite,REQUIRE:-source:3.4-migration

52Filtering out scalacOptions: -indent,-no-indent,-new-syntax,,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

53[sbt_options] declare -a sbt_options=()

54[process_args] java_version = '17'

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

56# Executing command line:

57java

58-Dfile.encoding=UTF-8

59-Dcommunitybuild.scala=3.7.4-RC2

60-Dcommunitybuild.project.dependencies.add=

61-Xmx7G

62-Xms4G

63-Xss8M

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

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

66-jar

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

68"setCrossScalaVersions 3.7.4-RC2"

69"++3.7.4-RC2 -v"

70"mapScalacOptions "-rewrite,REQUIRE:-source:3.4-migration,-Wconf:msg=can be rewritten automatically under:s" "-indent,-no-indent,-new-syntax,,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e""

71"set every credentials := Nil"

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

73"removeScalacOptionsStartingWith -P:wartremover"

75moduleMappings

76"runBuild 3.7.4-RC2 """{"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":["3.4"],"sourcePatches":[{"path":"project/Dependencies.scala","pattern":"val scala3 = \"3.1.3\"","replaceWith":"val scala3 = \"<SCALA_VERSION>\""}]}""" com.github.japgolly.nyaya%nyaya-gen com.github.japgolly.nyaya%nyaya-gen-circe com.github.japgolly.nyaya%nyaya-prop com.github.japgolly.nyaya%nyaya-test com.github.japgolly.nyaya%nyaya-util"

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

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

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

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

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

83[info] Compilation completed in 9.534s.

84[warn] two feature warnings; re-run with -feature for details

85[warn] one warning found

86[info] done compiling

87/build/repo/scalafix.sbt:1: warning: value scalafixScalaBinaryVersion in object autoImport is deprecated (since 0.12.1): scalafixScalaBinaryVersion now follows scalaVersion by default

88ThisBuild / scalafixScalaBinaryVersion := "2.13"

89 ^

90[info] loading settings for project root from build.sbt, scalafix.sbt...

91[info] resolving key references (14068 settings) ...

92[info] set current project to root (in build file:/build/repo/)

93[warn] there's a key that's not used by any other settings/tasks:

94[warn]

95[warn] * ThisBuild / scalafixScalaBinaryVersion

96[warn] +- /build/repo/scalafix.sbt:1

97[warn]

98[warn] note: a setting might still be used by a command; to exclude a key from this `lintUnused` check

99[warn] either append it to `Global / excludeLintKeys` or call .withRank(KeyRanks.Invisible) on the key

100Execute setCrossScalaVersions: 3.7.4-RC2

101OpenCB::Changing crossVersion 3.7.4-RC2 -> 3.7.4-RC2 in testModuleJVM/crossScalaVersions

102OpenCB::Changing crossVersion 3.7.4-RC2 -> 3.7.4-RC2 in genCirceJS/crossScalaVersions

103OpenCB::Changing crossVersion 3.7.4-RC2 -> 3.7.4-RC2 in propJVM/crossScalaVersions

104OpenCB::Changing crossVersion 3.7.4-RC2 -> 3.7.4-RC2 in testModuleJS/crossScalaVersions

105OpenCB::Changing crossVersion 3.7.4-RC2 -> 3.7.4-RC2 in utilJVM/crossScalaVersions

106OpenCB::Changing crossVersion 3.7.4-RC2 -> 3.7.4-RC2 in benchmark/crossScalaVersions

107OpenCB::Changing crossVersion 3.7.4-RC2 -> 3.7.4-RC2 in genJVM/crossScalaVersions

108OpenCB::Changing crossVersion 3.7.4-RC2 -> 3.7.4-RC2 in genCirceJVM/crossScalaVersions

109OpenCB::Changing crossVersion 3.7.4-RC2 -> 3.7.4-RC2 in propJS/crossScalaVersions

110OpenCB::Changing crossVersion 3.7.4-RC2 -> 3.7.4-RC2 in genJS/crossScalaVersions

111OpenCB::Changing crossVersion 3.7.4-RC2 -> 3.7.4-RC2 in root/crossScalaVersions

112OpenCB::Changing crossVersion 3.7.4-RC2 -> 3.7.4-RC2 in utilJS/crossScalaVersions

113[info] set current project to root (in build file:/build/repo/)

114[info] Setting Scala version to 3.7.4-RC2 on 12 projects.

115[info] Switching Scala version on:

116[info] genCirceJS (2.13.8, 3.7.4-RC2)

117[info] * root (2.13.8, 3.7.4-RC2)

118[info] testModuleJVM (2.13.8, 3.7.4-RC2)

119[info] utilJS (2.13.8, 3.7.4-RC2)

120[info] testModuleJS (2.13.8, 3.7.4-RC2)

121[info] genCirceJVM (2.13.8, 3.7.4-RC2)

122[info] utilJVM (2.13.8, 3.7.4-RC2)

123[info] propJS (2.13.8, 3.7.4-RC2)

124[info] propJVM (2.13.8, 3.7.4-RC2)

125[info] genJS (2.13.8, 3.7.4-RC2)

126[info] genJVM (2.13.8, 3.7.4-RC2)

127[info] benchmark (2.13.8, 3.7.4-RC2)

128[info] Excluding projects:

129[info] Reapplying settings...

130[info] set current project to root (in build file:/build/repo/)

131Execute mapScalacOptions: -rewrite,REQUIRE:-source:3.4-migration,-Wconf:msg=can be rewritten automatically under:s -indent,-no-indent,-new-syntax,,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

132[info] Reapplying settings...

133[info] set current project to root (in build file:/build/repo/)

134[info] Defining Global / credentials, benchmark / credentials and 10 others.

135[info] The new values will be used by Global / pgpSelectPassphrase, Global / pgpSigningKey and 60 others.

136[info] Run `last` for details.

137[info] Reapplying settings...

138[info] set current project to root (in build file:/build/repo/)

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

140[info] Reapplying settings...

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

142

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

144 Did you mean genCirceJVM / allExcludeDependencies ?

145 , retry without global scopes

146[info] Reapplying settings...

147[info] set current project to root (in build file:/build/repo/)

148Execute removeScalacOptionsStartingWith: -P:wartremover

149[info] Reapplying settings...

150[info] set current project to root (in build file:/build/repo/)

151[success] Total time: 0 s, completed Nov 26, 2025, 4:04:03 PM

152Build config: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":["3.4"],"sourcePatches":[{"path":"project/Dependencies.scala","pattern":"val scala3 = \"3.1.3\"","replaceWith":"val scala3 = \"<SCALA_VERSION>\""}]}

153Parsed config: Success(ProjectBuildConfig(ProjectsConfig(List(),Map()),CompileOnly,List()))

154Starting build...

155Projects: Set(testModuleJVM, genCirceJVM, utilJVM, propJVM, genJVM)

156Starting build for ProjectRef(file:/build/repo/,genJVM) (nyaya-gen)... [0/5]

157OpenCB::Exclude Scala3 specific scalacOption `-rewrite` in Scala 2.12.20 module Global

158OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.4-migration` in Scala 2.12.20 module Global

159OpenCB::Exclude Scala3 specific scalacOption `-rewrite` in Scala 2.12.20 module Scope(Select(BuildRef(file:/build/repo/)), Zero, Zero, Zero)

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

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

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

163OpenCB::Filter out '-source', matches setting pattern '^-?-source(:.*)?'

164Compile scalacOptions: -unchecked, -language:postfixOps, -language:implicitConversions, -language:higherKinds, -language:existentials, 3.0-migration, -Ykind-projector, -Xsemanticdb, -semanticdb-target, /build/repo/gen/jvm/target/scala-3.7.4-RC2/meta, -rewrite, -Wconf:msg=can be rewritten automatically under:s, -source:3.4-migration

165[info] compiling 4 Scala sources to /build/repo/util/jvm/target/scala-3.7.4-RC2/classes ...

166[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

167[warn] -- Warning: /build/repo/util/jvm/src/main/scala/nyaya/util/Platform.scala:7:10 -

168[warn] 7 | @nowarn("cat=unused")

169[warn] | ^^^^^^^^^^^^

170[warn] | Invalid message filter

171[warn] | unknown category: unused

172[warn] two warnings found

173[info] done compiling

174[info] compiling 12 Scala sources to /build/repo/gen/jvm/target/scala-3.7.4-RC2/classes ...

175[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

176[warn] -- Warning: /build/repo/gen/shared/src/main/scala/nyaya/gen/GenAbstractJson.scala:79:43

177[warn] 79 | val genStr = genString.map(JsonF.Str)

178[warn] | ^^^^^^^^^

179[warn] |The method `apply` is inserted. The auto insertion will be deprecated, please write `nyaya.gen.GenAbstractJson.JsonF.Str.apply` explicitly.

180[warn] -- Warning: /build/repo/gen/shared/src/main/scala/nyaya/gen/GenAbstractJson.scala:80:44

181[warn] 80 | val genNumDouble = Gen.double.map(JsonF.NumDouble)

182[warn] | ^^^^^^^^^^^^^^^

183[warn] |The method `apply` is inserted. The auto insertion will be deprecated, please write `nyaya.gen.GenAbstractJson.JsonF.NumDouble.apply` explicitly.

184[warn] -- Warning: /build/repo/gen/shared/src/main/scala/nyaya/gen/GenAbstractJson.scala:81:42

185[warn] 81 | val genNumLong = Gen.long.map(JsonF.NumLong)

186[warn] | ^^^^^^^^^^^^^

187[warn] |The method `apply` is inserted. The auto insertion will be deprecated, please write `nyaya.gen.GenAbstractJson.JsonF.NumLong.apply` explicitly.

188[info] [patched file /build/repo/gen/shared/src/main/scala/nyaya/gen/Gen.scala]

189[info] [patched file /build/repo/gen/shared/src/main/scala/nyaya/gen/Distinct.scala]

190[info] [patched file /build/repo/gen/shared/src/main/scala/nyaya/gen/SizeSpec.scala]

191[info] [patched file /build/repo/gen/shared/src/main/scala/nyaya/gen/GenCtx.scala]

192[info] [patched file /build/repo/gen/jvm/src/main/scala/nyaya/gen/DateTimeBuilderJava8.scala]

193[warn] four warnings found

194[info] done compiling

195[info] compiling 5 Scala sources to /build/repo/gen/jvm/target/scala-3.7.4-RC2/classes ...

196[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

197[warn] one warning found

198[info] done compiling

199[info] compiling 2 Scala sources to /build/repo/gen/jvm/target/scala-3.7.4-RC2/test-classes ...

200[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

201[warn] one warning found

202[info] done compiling

203Starting build for ProjectRef(file:/build/repo/,propJVM) (nyaya-prop)... [1/5]

204Compile scalacOptions: -unchecked, -language:postfixOps, -language:implicitConversions, -language:higherKinds, -language:existentials, 3.0-migration, -Ykind-projector, -Xsemanticdb, -semanticdb-target, /build/repo/prop/jvm/target/scala-3.7.4-RC2/meta, -rewrite, -Wconf:msg=can be rewritten automatically under:s, -source:3.4-migration

205[info] compiling 6 Scala sources to /build/repo/prop/jvm/target/scala-3.7.4-RC2/classes ...

206[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

207[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:57:2 -

208[warn] 57 | @inline final def | (q: Logic[P, A]): Logic[P, A] = this ∨ q

209[warn] | ^

210[warn] | Line is indented too far to the left, or a `}` is missing

211[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:58:2 -

212[warn] 58 | @inline final def & (q: Logic[P, A]): Logic[P, A] = this ∧ q

213[warn] | ^

214[warn] | Line is indented too far to the left, or a `}` is missing

215[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:59:2 -

216[warn] 59 | @inline final def ⇐ (a: Logic[P, A]): Logic[P, A] = this <== a

217[warn] | ^

218[warn] | Line is indented too far to the left, or a `}` is missing

219[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:60:2 -

220[warn] 60 | @inline final def ⇔ (q: Logic[P, A]): Logic[P, A] = this <==> q

221[warn] | ^

222[warn] | Line is indented too far to the left, or a `}` is missing

223[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:61:2 -

224[warn] 61 | @inline final def iff (q: Logic[P, A]): Logic[P, A] = this <==> q

225[warn] | ^

226[warn] | Line is indented too far to the left, or a `}` is missing

227[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:62:2 -

228[warn] 62 | @inline final def or (q: Logic[P, A]): Logic[P, A] = this | q

229[warn] | ^

230[warn] | Line is indented too far to the left, or a `}` is missing

231[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:63:2 -

232[warn] 63 | @inline final def and (q: Logic[P, A]): Logic[P, A] = this & q

233[warn] | ^

234[warn] | Line is indented too far to the left, or a `}` is missing

235[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:64:2 -

236[warn] 64 | @inline final def implies (c: Logic[P, A]): Logic[P, A] = this ==> c

237[warn] | ^

238[warn] | Line is indented too far to the left, or a `}` is missing

239[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:65:2 -

240[warn] 65 | @inline final def not : Logic[P, A] = ~this

241[warn] | ^

242[warn] | Line is indented too far to the left, or a `}` is missing

243[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:66:2 -

244[warn] 66 | @inline final def subst[B <: A] : Logic[P, B] = contramap(a => a: B)

245[warn] | ^

246[warn] | Line is indented too far to the left, or a `}` is missing

247[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:67:2 -

248[warn] 67 | @inline final def rename_:(name: => String) : Logic[P, A] = this rename name

249[warn] | ^

250[warn] | Line is indented too far to the left, or a `}` is missing

251[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:69:2 -

252[warn] 69 | final def ifelse(ifPass: Logic[P, A], ifFail: Logic[P, A]): Logic[P, A] =

253[warn] | ^

254[warn] | Line is indented too far to the left, or a `}` is missing

255[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:70:4 -

256[warn] 70 | (this ==> ifPass) ∧ (~this ==> ifFail)

257[warn] | ^

258[warn] | Line is indented too far to the left, or a `}` is missing

259[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:72:2 -

260[warn] 72 | final def ∨(q: Logic[P, A]): Logic[P, A] = this match {

261[warn] | ^

262[warn] | Line is indented too far to the left, or a `}` is missing

263[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:84:2 -

264[warn] 84 | final def ∧(q: Logic[P, A]): Logic[P, A] = this match {

265[warn] | ^

266[warn] | Line is indented too far to the left, or a `}` is missing

267[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:96:2 -

268[warn] 96 | final def contramap[B](f: B => A): Logic[P, B] = this match {

269[warn] | ^

270[warn] | Line is indented too far to the left, or a `}` is missing

271[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:107:2

272[warn] 107 | final def unary_~ : Logic[P, A] = this match {

273[warn] | ^

274[warn] | Line is indented too far to the left, or a `}` is missing

275[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:121:2

276[warn] 121 | final def rename(n: => String): Logic[P, A] = this match {

277[warn] | ^

278[warn] | Line is indented too far to the left, or a `}` is missing

279[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:133:2

280[warn] 133 | final def run(x: P[A] => Eval)(implicit F: Contravariant[P]): Eval = this match {

281[warn] | ^

282[warn] | Line is indented too far to the left, or a `}` is missing

283[info] [patched file /build/repo/prop/shared/src/main/scala/nyaya/prop/Eval.scala]

284[info] [patched file /build/repo/prop/shared/src/main/scala/nyaya/prop/Prop.scala]

285[info] [patched file /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala]

286[warn] 20 warnings found

287[info] done compiling

288[info] compiling 3 Scala sources to /build/repo/prop/jvm/target/scala-3.7.4-RC2/classes ...

289[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

290[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:57:2 -

291[warn] 57 | @inline final def | (q: Logic[P, A]): Logic[P, A] = this ∨ q

292[warn] | ^

293[warn] | Line is indented too far to the left, or a `}` is missing

294[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:58:2 -

295[warn] 58 | @inline final def & (q: Logic[P, A]): Logic[P, A] = this ∧ q

296[warn] | ^

297[warn] | Line is indented too far to the left, or a `}` is missing

298[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:59:2 -

299[warn] 59 | @inline final def ⇐ (a: Logic[P, A]): Logic[P, A] = this <== a

300[warn] | ^

301[warn] | Line is indented too far to the left, or a `}` is missing

302[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:60:2 -

303[warn] 60 | @inline final def ⇔ (q: Logic[P, A]): Logic[P, A] = this <==> q

304[warn] | ^

305[warn] | Line is indented too far to the left, or a `}` is missing

306[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:61:2 -

307[warn] 61 | @inline final def iff (q: Logic[P, A]): Logic[P, A] = this <==> q

308[warn] | ^

309[warn] | Line is indented too far to the left, or a `}` is missing

310[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:62:2 -

311[warn] 62 | @inline final def or (q: Logic[P, A]): Logic[P, A] = this | q

312[warn] | ^

313[warn] | Line is indented too far to the left, or a `}` is missing

314[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:63:2 -

315[warn] 63 | @inline final def and (q: Logic[P, A]): Logic[P, A] = this & q

316[warn] | ^

317[warn] | Line is indented too far to the left, or a `}` is missing

318[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:64:2 -

319[warn] 64 | @inline final def implies (c: Logic[P, A]): Logic[P, A] = this ==> c

320[warn] | ^

321[warn] | Line is indented too far to the left, or a `}` is missing

322[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:65:2 -

323[warn] 65 | @inline final def not : Logic[P, A] = ~this

324[warn] | ^

325[warn] | Line is indented too far to the left, or a `}` is missing

326[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:66:2 -

327[warn] 66 | @inline final def subst[B <: A] : Logic[P, B] = contramap(a => a: B)

328[warn] | ^

329[warn] | Line is indented too far to the left, or a `}` is missing

330[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:67:2 -

331[warn] 67 | @inline final def rename_:(name: => String) : Logic[P, A] = this `rename` name

332[warn] | ^

333[warn] | Line is indented too far to the left, or a `}` is missing

334[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:69:2 -

335[warn] 69 | final def ifelse(ifPass: Logic[P, A], ifFail: Logic[P, A]): Logic[P, A] =

336[warn] | ^

337[warn] | Line is indented too far to the left, or a `}` is missing

338[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:70:4 -

339[warn] 70 | (this ==> ifPass) ∧ (~this ==> ifFail)

340[warn] | ^

341[warn] | Line is indented too far to the left, or a `}` is missing

342[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:72:2 -

343[warn] 72 | final def ∨(q: Logic[P, A]): Logic[P, A] = this match {

344[warn] | ^

345[warn] | Line is indented too far to the left, or a `}` is missing

346[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:84:2 -

347[warn] 84 | final def ∧(q: Logic[P, A]): Logic[P, A] = this match {

348[warn] | ^

349[warn] | Line is indented too far to the left, or a `}` is missing

350[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:96:2 -

351[warn] 96 | final def contramap[B](f: B => A): Logic[P, B] = this match {

352[warn] | ^

353[warn] | Line is indented too far to the left, or a `}` is missing

354[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:107:2

355[warn] 107 | final def unary_~ : Logic[P, A] = this match {

356[warn] | ^

357[warn] | Line is indented too far to the left, or a `}` is missing

358[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:121:2

359[warn] 121 | final def rename(n: => String): Logic[P, A] = this match {

360[warn] | ^

361[warn] | Line is indented too far to the left, or a `}` is missing

362[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:133:2

363[warn] 133 | final def run(x: P[A] => Eval)(implicit F: Contravariant[P]): Eval = this match {

364[warn] | ^

365[warn] | Line is indented too far to the left, or a `}` is missing

366[warn] 20 warnings found

367[info] done compiling

368[info] compiling 2 Scala sources to /build/repo/prop/jvm/target/scala-3.7.4-RC2/test-classes ...

369[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

370[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:130:3

371[warn] 130 | "conjunction" - {

372[warn] | ^

373[warn] | Line is indented too far to the left, or a `}` is missing

374[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:136:3

375[warn] 136 | "implication" - {

376[warn] | ^

377[warn] | Line is indented too far to the left, or a `}` is missing

378[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:142:3

379[warn] 142 | "reduction" - {

380[warn] | ^

381[warn] | Line is indented too far to the left, or a `}` is missing

382[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:148:3

383[warn] 148 | "biconditional" - {

384[warn] | ^

385[warn] | Line is indented too far to the left, or a `}` is missing

386[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:155:3

387[warn] 155 | "nested" - {

388[warn] | ^

389[warn] | Line is indented too far to the left, or a `}` is missing

390[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:167:3

391[warn] 167 | "rootCause" - {

392[warn] | ^

393[warn] | Line is indented too far to the left, or a `}` is missing

394[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:172:3

395[warn] 172 | "contramap" - {

396[warn] | ^

397[warn] | Line is indented too far to the left, or a `}` is missing

398[info] [patched file /build/repo/prop/shared/src/test/scala/nyaya/prop/CycleDetectorTest.scala]

399[info] [patched file /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala]

400[warn] 8 warnings found

401[info] done compiling

402[info] compiling 2 Scala sources to /build/repo/prop/jvm/target/scala-3.7.4-RC2/test-classes ...

403[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

404[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:130:3

405[warn] 130 | "conjunction" - {

406[warn] | ^

407[warn] | Line is indented too far to the left, or a `}` is missing

408[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:136:3

409[warn] 136 | "implication" - {

410[warn] | ^

411[warn] | Line is indented too far to the left, or a `}` is missing

412[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:142:3

413[warn] 142 | "reduction" - {

414[warn] | ^

415[warn] | Line is indented too far to the left, or a `}` is missing

416[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:148:3

417[warn] 148 | "biconditional" - {

418[warn] | ^

419[warn] | Line is indented too far to the left, or a `}` is missing

420[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:155:3

421[warn] 155 | "nested" - {

422[warn] | ^

423[warn] | Line is indented too far to the left, or a `}` is missing

424[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:167:3

425[warn] 167 | "rootCause" - {

426[warn] | ^

427[warn] | Line is indented too far to the left, or a `}` is missing

428[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:172:3

429[warn] 172 | "contramap" - {

430[warn] | ^

431[warn] | Line is indented too far to the left, or a `}` is missing

432[warn] 8 warnings found

433[info] done compiling

434Starting build for ProjectRef(file:/build/repo/,testModuleJVM) (nyaya-test)... [2/5]

435Compile scalacOptions: -unchecked, -language:postfixOps, -language:implicitConversions, -language:higherKinds, -language:existentials, 3.0-migration, -Ykind-projector, -Xsemanticdb, -semanticdb-target, /build/repo/test/jvm/target/scala-3.7.4-RC2/meta, -rewrite, -Wconf:msg=can be rewritten automatically under:s, -source:3.4-migration

436[info] compiling 9 Scala sources to /build/repo/test/jvm/target/scala-3.7.4-RC2/classes ...

437[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

438[info] [patched file /build/repo/test/shared/src/main/scala/nyaya/test/Domain.scala]

439[info] [patched file /build/repo/test/jvm/src/main/scala/nyaya/test/ParallelExecutor.scala]

440[info] [patched file /build/repo/test/shared/src/main/scala/nyaya/test/PropTest.scala]

441[info] [patched file /build/repo/test/shared/src/main/scala/nyaya/test/PTest.scala]

442[warn] one warning found

443[info] done compiling

444[info] compiling 4 Scala sources to /build/repo/test/jvm/target/scala-3.7.4-RC2/classes ...

445[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

446[warn] one warning found

447[info] done compiling

448[info] compiling 5 Scala sources to /build/repo/test/jvm/target/scala-3.7.4-RC2/test-classes ...

449[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

450[warn] -- Warning: /build/repo/test/shared/src/test/scala/nyaya/gen/GenTest.scala:57:10

451[warn] 57 | @nowarn("cat=unused")

452[warn] | ^^^^^^^^^^^^

453[warn] | Invalid message filter

454[warn] | unknown category: unused

455[info] [patched file /build/repo/test/shared/src/test/scala/nyaya/gen/GenTest.scala]

456[info] [patched file /build/repo/test/shared/src/test/scala/nyaya/test/DomainTest.scala]

457[info] [patched file /build/repo/test/jvm/src/test/scala/nyaya/gen/GenTestJvm.scala]

458[info] [patched file /build/repo/test/shared/src/test/scala/nyaya/test/PropTestTest.scala]

459[warn] two warnings found

460[info] done compiling

461[info] compiling 5 Scala sources to /build/repo/test/jvm/target/scala-3.7.4-RC2/test-classes ...

462[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

463[warn] -- Warning: /build/repo/test/shared/src/test/scala/nyaya/gen/GenTest.scala:57:10

464[warn] 57 | @nowarn("cat=unused")

465[warn] | ^^^^^^^^^^^^

466[warn] | Invalid message filter

467[warn] | unknown category: unused

468[warn] two warnings found

469[info] done compiling

470Starting build for ProjectRef(file:/build/repo/,utilJVM) (nyaya-util)... [3/5]

471Compile scalacOptions: -unchecked, -language:postfixOps, -language:implicitConversions, -language:higherKinds, -language:existentials, 3.0-migration, -Ykind-projector, -Xsemanticdb, -semanticdb-target, /build/repo/util/jvm/target/scala-3.7.4-RC2/meta, -rewrite, -Wconf:msg=can be rewritten automatically under:s, -source:3.4-migration

472Starting build for ProjectRef(file:/build/repo/,genCirceJVM) (nyaya-gen-circe)... [4/5]

473Compile scalacOptions: -unchecked, -language:postfixOps, -language:implicitConversions, -language:higherKinds, -language:existentials, 3.0-migration, -Ykind-projector, -Xsemanticdb, -semanticdb-target, /build/repo/gen-circe/jvm/target/scala-3.7.4-RC2/meta, -rewrite, -Wconf:msg=can be rewritten automatically under:s, -source:3.4-migration

474[info] compiling 1 Scala source to /build/repo/gen-circe/jvm/target/scala-3.7.4-RC2/classes ...

475[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

476[info] [patched file /build/repo/gen-circe/shared/src/main/scala/nyaya/gen/circe/GenJson.scala]

477[warn] one warning found

478[info] done compiling

479[info] compiling 1 Scala source to /build/repo/gen-circe/jvm/target/scala-3.7.4-RC2/classes ...

480[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

481[warn] one warning found

482[info] done compiling

483[info] compiling 1 Scala source to /build/repo/gen-circe/jvm/target/scala-3.7.4-RC2/test-classes ...

484[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

485[warn] one warning found

486[info] done compiling

487

488************************

489Build summary:

490[{

491 "module": "nyaya-gen",

492 "compile": {"status": "ok", "tookMs": 14901, "warnings": 3, "errors": 0, "sourceVersion": "3.4-migration"},

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

494 "test-compile": {"status": "ok", "tookMs": 5268, "warnings": 0, "errors": 0, "sourceVersion": "3.4-migration"},

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

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

497 "metadata": {

498 "crossScalaVersions": ["2.13.8", "3.1.3"]

499}

500},{

501 "module": "nyaya-prop",

502 "compile": {"status": "ok", "tookMs": 2624, "warnings": 19, "errors": 0, "sourceVersion": "3.4-migration"},

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

504 "test-compile": {"status": "ok", "tookMs": 4119, "warnings": 7, "errors": 0, "sourceVersion": "3.4-migration"},

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

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

507 "metadata": {

508 "crossScalaVersions": ["2.13.8", "3.1.3"]

509}

510},{

511 "module": "nyaya-test",

512 "compile": {"status": "ok", "tookMs": 1603, "warnings": 0, "errors": 0, "sourceVersion": "3.4-migration"},

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

514 "test-compile": {"status": "ok", "tookMs": 3586, "warnings": 1, "errors": 0, "sourceVersion": "3.4-migration"},

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

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

517 "metadata": {

518 "crossScalaVersions": ["2.13.8", "3.1.3"]

519}

520},{

521 "module": "nyaya-util",

522 "compile": {"status": "ok", "tookMs": 54, "warnings": 1, "errors": 0, "sourceVersion": "3.4-migration"},

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

524 "test-compile": {"status": "ok", "tookMs": 93, "warnings": 0, "errors": 0, "sourceVersion": "3.4-migration"},

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

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

527 "metadata": {

528 "crossScalaVersions": ["2.13.8", "3.1.3"]

529}

530},{

531 "module": "nyaya-gen-circe",

532 "compile": {"status": "ok", "tookMs": 529, "warnings": 0, "errors": 0, "sourceVersion": "3.4-migration"},

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

534 "test-compile": {"status": "ok", "tookMs": 791, "warnings": 0, "errors": 0, "sourceVersion": "3.4-migration"},

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

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

537 "metadata": {

538 "crossScalaVersions": ["2.13.8", "3.1.3"]

539}

540}]

541************************

542[success] Total time: 52 s, completed Nov 26, 2025, 4:04:56 PM

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

544Checking patch project/build.properties...

545Checking patch project/Dependencies.scala...

546Checking patch build.sbt...

547Applied patch project/plugins.sbt cleanly.

548Applied patch project/build.properties cleanly.

549Applied patch project/Dependencies.scala cleanly.

550Applied patch build.sbt cleanly.

551Commit migration rewrites

552Switched to a new branch 'opencb/migrate-source-3.4'

553[opencb/migrate-source-3.4 f73cd51] Apply Scala compiler rewrites using -source:3.4-migration using Scala 3.7.4-RC2

554 19 files changed, 97 insertions(+), 97 deletions(-)

555----

556Preparing build for 3.8.0-RC2

557Scala binary version found: 3.8

558Implicitly using source version 3.8

559Scala binary version found: 3.8

560Implicitly using source version 3.8

561Would try to apply common scalacOption (best-effort, sbt/mill only):

562Append: ,REQUIRE:-source:3.8

563Remove: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

564

565Try apply source patch:

566Path: project/Dependencies.scala

567Pattern: val scala3 = "3.1.3"

568Replacement: val scala3 = "3.8.0-RC2"

569Successfully applied pattern 'val scala3 = "3.1.3"' in project/Dependencies.scala

570----

571Starting build for 3.8.0-RC2

572Execute tests: false

573sbt project found:

574Sbt version 1.7.1 is not supported, minimal supported version is 1.11.5

575Enforcing usage of sbt in version 1.11.5

576No prepare script found for project japgolly/nyaya

577/opencb/project-builder/sbt/prepare-project.sh: line 107: /root/.ssh/config: No such file or directory

578##################################

579Scala version: 3.8.0-RC2

580Targets: com.github.japgolly.nyaya%nyaya-gen com.github.japgolly.nyaya%nyaya-gen-circe com.github.japgolly.nyaya%nyaya-prop com.github.japgolly.nyaya%nyaya-test com.github.japgolly.nyaya%nyaya-util

581Project projectConfig: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":["3.4"],"sourcePatches":[{"path":"project/Dependencies.scala","pattern":"val scala3 = \"3.1.3\"","replaceWith":"val scala3 = \"<SCALA_VERSION>\""}]}

582##################################

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

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

585[sbt_options] declare -a sbt_options=()

586[process_args] java_version = '17'

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

588# Executing command line:

589java

590-Dfile.encoding=UTF-8

591-Dcommunitybuild.scala=3.8.0-RC2

592-Dcommunitybuild.project.dependencies.add=

593-Xmx7G

594-Xms4G

595-Xss8M

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

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

598-jar

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

600"setCrossScalaVersions 3.8.0-RC2"

601"++3.8.0-RC2 -v"

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

603"set every credentials := Nil"

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

605"removeScalacOptionsStartingWith -P:wartremover"

606

607moduleMappings

608"runBuild 3.8.0-RC2 """{"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":["3.4"],"sourcePatches":[{"path":"project/Dependencies.scala","pattern":"val scala3 = \"3.1.3\"","replaceWith":"val scala3 = \"<SCALA_VERSION>\""}]}""" com.github.japgolly.nyaya%nyaya-gen com.github.japgolly.nyaya%nyaya-gen-circe com.github.japgolly.nyaya%nyaya-prop com.github.japgolly.nyaya%nyaya-test com.github.japgolly.nyaya%nyaya-util"

609

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

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

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

613[info] compiling 1 Scala source to /build/repo/project/target/scala-2.12/sbt-1.0/classes ...

614[info] done compiling

615/build/repo/scalafix.sbt:1: warning: value scalafixScalaBinaryVersion in object autoImport is deprecated (since 0.12.1): scalafixScalaBinaryVersion now follows scalaVersion by default

616ThisBuild / scalafixScalaBinaryVersion := "2.13"

617 ^

618[info] loading settings for project root from build.sbt, scalafix.sbt...

619[info] resolving key references (14068 settings) ...

620[info] set current project to root (in build file:/build/repo/)

621[warn] there's a key that's not used by any other settings/tasks:

622[warn]

623[warn] * ThisBuild / scalafixScalaBinaryVersion

624[warn] +- /build/repo/scalafix.sbt:1

625[warn]

626[warn] note: a setting might still be used by a command; to exclude a key from this `lintUnused` check

627[warn] either append it to `Global / excludeLintKeys` or call .withRank(KeyRanks.Invisible) on the key

628Execute setCrossScalaVersions: 3.8.0-RC2

629OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in testModuleJVM/crossScalaVersions

630OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in genCirceJS/crossScalaVersions

631OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in propJVM/crossScalaVersions

632OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in testModuleJS/crossScalaVersions

633OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in utilJVM/crossScalaVersions

634OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in benchmark/crossScalaVersions

635OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in genJVM/crossScalaVersions

636OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in genCirceJVM/crossScalaVersions

637OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in propJS/crossScalaVersions

638OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in root/crossScalaVersions

639OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in genJS/crossScalaVersions

640OpenCB::Changing crossVersion 3.8.0-RC2 -> 3.8.0-RC2 in utilJS/crossScalaVersions

641[info] set current project to root (in build file:/build/repo/)

642[info] Setting Scala version to 3.8.0-RC2 on 12 projects.

643[info] Switching Scala version on:

644[info] genCirceJS (2.13.8, 3.8.0-RC2)

645[info] * root (2.13.8, 3.8.0-RC2)

646[info] testModuleJVM (2.13.8, 3.8.0-RC2)

647[info] utilJS (2.13.8, 3.8.0-RC2)

648[info] testModuleJS (2.13.8, 3.8.0-RC2)

649[info] genCirceJVM (2.13.8, 3.8.0-RC2)

650[info] utilJVM (2.13.8, 3.8.0-RC2)

651[info] propJS (2.13.8, 3.8.0-RC2)

652[info] propJVM (2.13.8, 3.8.0-RC2)

653[info] genJS (2.13.8, 3.8.0-RC2)

654[info] genJVM (2.13.8, 3.8.0-RC2)

655[info] benchmark (2.13.8, 3.8.0-RC2)

656[info] Excluding projects:

657[info] Reapplying settings...

658[info] set current project to root (in build file:/build/repo/)

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

660[info] Reapplying settings...

661[info] set current project to root (in build file:/build/repo/)

662[info] Defining Global / credentials, benchmark / credentials and 10 others.

663[info] The new values will be used by Global / pgpSelectPassphrase, Global / pgpSigningKey and 60 others.

664[info] Run `last` for details.

665[info] Reapplying settings...

666[info] set current project to root (in build file:/build/repo/)

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

668[info] Reapplying settings...

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

670

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

672 Did you mean genCirceJVM / allExcludeDependencies ?

673 , retry without global scopes

674[info] Reapplying settings...

675[info] set current project to root (in build file:/build/repo/)

676Execute removeScalacOptionsStartingWith: -P:wartremover

677[info] Reapplying settings...

678[info] set current project to root (in build file:/build/repo/)

679[success] Total time: 0 s, completed Nov 26, 2025, 4:05:19 PM

680Build config: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","migrationVersions":["3.4"],"sourcePatches":[{"path":"project/Dependencies.scala","pattern":"val scala3 = \"3.1.3\"","replaceWith":"val scala3 = \"<SCALA_VERSION>\""}]}

681Parsed config: Success(ProjectBuildConfig(ProjectsConfig(List(),Map()),CompileOnly,List()))

682Starting build...

683Projects: Set(testModuleJVM, genCirceJVM, utilJVM, propJVM, genJVM)

684Starting build for ProjectRef(file:/build/repo/,genJVM) (nyaya-gen)... [0/5]

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

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

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

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

689OpenCB::Filter out '-source', matches setting pattern '^-?-source(:.*)?'

690Compile scalacOptions: -unchecked, -language:postfixOps, -language:implicitConversions, -language:higherKinds, -language:existentials, 3.0-migration, -Ykind-projector, -Xsemanticdb, -semanticdb-target, /build/repo/gen/jvm/target/scala-3.8.0-RC2/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

691[info] compiling 4 Scala sources to /build/repo/util/jvm/target/scala-3.8.0-RC2/classes ...

692[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

693[warn] -- Warning: /build/repo/util/jvm/src/main/scala/nyaya/util/Platform.scala:7:10 -

694[warn] 7 | @nowarn("cat=unused")

695[warn] | ^^^^^^^^^^^^

696[warn] | Invalid message filter

697[warn] | unknown category: unused

698[warn] two warnings found

699[info] done compiling

700[info] compiling 12 Scala sources to /build/repo/gen/jvm/target/scala-3.8.0-RC2/classes ...

701[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

702[warn] -- Warning: /build/repo/gen/shared/src/main/scala/nyaya/gen/GenAbstractJson.scala:79:43

703[warn] 79 | val genStr = genString.map(JsonF.Str)

704[warn] | ^^^^^^^^^

705[warn] |The method `apply` is inserted. The auto insertion will be deprecated, please write `nyaya.gen.GenAbstractJson.JsonF.Str.apply` explicitly.

706[warn] -- Warning: /build/repo/gen/shared/src/main/scala/nyaya/gen/GenAbstractJson.scala:80:44

707[warn] 80 | val genNumDouble = Gen.double.map(JsonF.NumDouble)

708[warn] | ^^^^^^^^^^^^^^^

709[warn] |The method `apply` is inserted. The auto insertion will be deprecated, please write `nyaya.gen.GenAbstractJson.JsonF.NumDouble.apply` explicitly.

710[warn] -- Warning: /build/repo/gen/shared/src/main/scala/nyaya/gen/GenAbstractJson.scala:81:42

711[warn] 81 | val genNumLong = Gen.long.map(JsonF.NumLong)

712[warn] | ^^^^^^^^^^^^^

713[warn] |The method `apply` is inserted. The auto insertion will be deprecated, please write `nyaya.gen.GenAbstractJson.JsonF.NumLong.apply` explicitly.

714[warn] four warnings found

715[info] done compiling

716[info] compiling 2 Scala sources to /build/repo/gen/jvm/target/scala-3.8.0-RC2/test-classes ...

717[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

718[warn] one warning found

719[info] done compiling

720Starting build for ProjectRef(file:/build/repo/,propJVM) (nyaya-prop)... [1/5]

721Compile scalacOptions: -unchecked, -language:postfixOps, -language:implicitConversions, -language:higherKinds, -language:existentials, 3.0-migration, -Ykind-projector, -Xsemanticdb, -semanticdb-target, /build/repo/prop/jvm/target/scala-3.8.0-RC2/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

722[info] compiling 6 Scala sources to /build/repo/prop/jvm/target/scala-3.8.0-RC2/classes ...

723[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

724[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:57:2 -

725[warn] 57 | @inline final def | (q: Logic[P, A]): Logic[P, A] = this ∨ q

726[warn] | ^

727[warn] | Line is indented too far to the left, or a `}` is missing

728[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:58:2 -

729[warn] 58 | @inline final def & (q: Logic[P, A]): Logic[P, A] = this ∧ q

730[warn] | ^

731[warn] | Line is indented too far to the left, or a `}` is missing

732[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:59:2 -

733[warn] 59 | @inline final def ⇐ (a: Logic[P, A]): Logic[P, A] = this <== a

734[warn] | ^

735[warn] | Line is indented too far to the left, or a `}` is missing

736[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:60:2 -

737[warn] 60 | @inline final def ⇔ (q: Logic[P, A]): Logic[P, A] = this <==> q

738[warn] | ^

739[warn] | Line is indented too far to the left, or a `}` is missing

740[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:61:2 -

741[warn] 61 | @inline final def iff (q: Logic[P, A]): Logic[P, A] = this <==> q

742[warn] | ^

743[warn] | Line is indented too far to the left, or a `}` is missing

744[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:62:2 -

745[warn] 62 | @inline final def or (q: Logic[P, A]): Logic[P, A] = this | q

746[warn] | ^

747[warn] | Line is indented too far to the left, or a `}` is missing

748[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:63:2 -

749[warn] 63 | @inline final def and (q: Logic[P, A]): Logic[P, A] = this & q

750[warn] | ^

751[warn] | Line is indented too far to the left, or a `}` is missing

752[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:64:2 -

753[warn] 64 | @inline final def implies (c: Logic[P, A]): Logic[P, A] = this ==> c

754[warn] | ^

755[warn] | Line is indented too far to the left, or a `}` is missing

756[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:65:2 -

757[warn] 65 | @inline final def not : Logic[P, A] = ~this

758[warn] | ^

759[warn] | Line is indented too far to the left, or a `}` is missing

760[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:66:2 -

761[warn] 66 | @inline final def subst[B <: A] : Logic[P, B] = contramap(a => a: B)

762[warn] | ^

763[warn] | Line is indented too far to the left, or a `}` is missing

764[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:67:2 -

765[warn] 67 | @inline final def rename_:(name: => String) : Logic[P, A] = this `rename` name

766[warn] | ^

767[warn] | Line is indented too far to the left, or a `}` is missing

768[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:69:2 -

769[warn] 69 | final def ifelse(ifPass: Logic[P, A], ifFail: Logic[P, A]): Logic[P, A] =

770[warn] | ^

771[warn] | Line is indented too far to the left, or a `}` is missing

772[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:70:4 -

773[warn] 70 | (this ==> ifPass) ∧ (~this ==> ifFail)

774[warn] | ^

775[warn] | Line is indented too far to the left, or a `}` is missing

776[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:72:2 -

777[warn] 72 | final def ∨(q: Logic[P, A]): Logic[P, A] = this match {

778[warn] | ^

779[warn] | Line is indented too far to the left, or a `}` is missing

780[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:84:2 -

781[warn] 84 | final def ∧(q: Logic[P, A]): Logic[P, A] = this match {

782[warn] | ^

783[warn] | Line is indented too far to the left, or a `}` is missing

784[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:96:2 -

785[warn] 96 | final def contramap[B](f: B => A): Logic[P, B] = this match {

786[warn] | ^

787[warn] | Line is indented too far to the left, or a `}` is missing

788[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:107:2

789[warn] 107 | final def unary_~ : Logic[P, A] = this match {

790[warn] | ^

791[warn] | Line is indented too far to the left, or a `}` is missing

792[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:121:2

793[warn] 121 | final def rename(n: => String): Logic[P, A] = this match {

794[warn] | ^

795[warn] | Line is indented too far to the left, or a `}` is missing

796[warn] -- Warning: /build/repo/prop/shared/src/main/scala/nyaya/prop/Logic.scala:133:2

797[warn] 133 | final def run(x: P[A] => Eval)(implicit F: Contravariant[P]): Eval = this match {

798[warn] | ^

799[warn] | Line is indented too far to the left, or a `}` is missing

800[warn] there were 5 deprecation warnings; re-run with -deprecation for details

801[warn] 21 warnings found

802[info] done compiling

803[info] compiling 2 Scala sources to /build/repo/prop/jvm/target/scala-3.8.0-RC2/test-classes ...

804[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

805[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:130:3

806[warn] 130 | "conjunction" - {

807[warn] | ^

808[warn] | Line is indented too far to the left, or a `}` is missing

809[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:136:3

810[warn] 136 | "implication" - {

811[warn] | ^

812[warn] | Line is indented too far to the left, or a `}` is missing

813[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:142:3

814[warn] 142 | "reduction" - {

815[warn] | ^

816[warn] | Line is indented too far to the left, or a `}` is missing

817[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:148:3

818[warn] 148 | "biconditional" - {

819[warn] | ^

820[warn] | Line is indented too far to the left, or a `}` is missing

821[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:155:3

822[warn] 155 | "nested" - {

823[warn] | ^

824[warn] | Line is indented too far to the left, or a `}` is missing

825[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:167:3

826[warn] 167 | "rootCause" - {

827[warn] | ^

828[warn] | Line is indented too far to the left, or a `}` is missing

829[warn] -- Warning: /build/repo/prop/shared/src/test/scala/nyaya/prop/PropTest.scala:172:3

830[warn] 172 | "contramap" - {

831[warn] | ^

832[warn] | Line is indented too far to the left, or a `}` is missing

833[warn] 8 warnings found

834[info] done compiling

835Starting build for ProjectRef(file:/build/repo/,testModuleJVM) (nyaya-test)... [2/5]

836Compile scalacOptions: -unchecked, -language:postfixOps, -language:implicitConversions, -language:higherKinds, -language:existentials, 3.0-migration, -Ykind-projector, -Xsemanticdb, -semanticdb-target, /build/repo/test/jvm/target/scala-3.8.0-RC2/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

837[info] compiling 9 Scala sources to /build/repo/test/jvm/target/scala-3.8.0-RC2/classes ...

838[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

839[warn] one warning found

840[info] done compiling

841[info] compiling 5 Scala sources to /build/repo/test/jvm/target/scala-3.8.0-RC2/test-classes ...

842[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

843[warn] -- Warning: /build/repo/test/shared/src/test/scala/nyaya/gen/GenTest.scala:57:10

844[warn] 57 | @nowarn("cat=unused")

845[warn] | ^^^^^^^^^^^^

846[warn] | Invalid message filter

847[warn] | unknown category: unused

848[warn] two warnings found

849[info] done compiling

850Starting build for ProjectRef(file:/build/repo/,utilJVM) (nyaya-util)... [3/5]

851Compile scalacOptions: -unchecked, -language:postfixOps, -language:implicitConversions, -language:higherKinds, -language:existentials, 3.0-migration, -Ykind-projector, -Xsemanticdb, -semanticdb-target, /build/repo/util/jvm/target/scala-3.8.0-RC2/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

852Starting build for ProjectRef(file:/build/repo/,genCirceJVM) (nyaya-gen-circe)... [4/5]

853Compile scalacOptions: -unchecked, -language:postfixOps, -language:implicitConversions, -language:higherKinds, -language:existentials, 3.0-migration, -Ykind-projector, -Xsemanticdb, -semanticdb-target, /build/repo/gen-circe/jvm/target/scala-3.8.0-RC2/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

854[info] compiling 1 Scala source to /build/repo/gen-circe/jvm/target/scala-3.8.0-RC2/classes ...

855[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

856[warn] one warning found

857[info] done compiling

858[info] compiling 1 Scala source to /build/repo/gen-circe/jvm/target/scala-3.8.0-RC2/test-classes ...

859[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.

860[warn] one warning found

861[info] done compiling

862

863************************

864Build summary:

865[{

866 "module": "nyaya-gen",

867 "compile": {"status": "ok", "tookMs": 17053, "warnings": 3, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

872 "metadata": {

873 "crossScalaVersions": ["2.13.8", "3.1.3"]

874}

875},{

876 "module": "nyaya-prop",

877 "compile": {"status": "ok", "tookMs": 3516, "warnings": 19, "errors": 0, "sourceVersion": "3.8"},

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

879 "test-compile": {"status": "ok", "tookMs": 2371, "warnings": 7, "errors": 0, "sourceVersion": "3.8"},

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

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

882 "metadata": {

883 "crossScalaVersions": ["2.13.8", "3.1.3"]

884}

885},{

886 "module": "nyaya-test",

887 "compile": {"status": "ok", "tookMs": 2081, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

889 "test-compile": {"status": "ok", "tookMs": 3413, "warnings": 1, "errors": 0, "sourceVersion": "3.8"},

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

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

892 "metadata": {

893 "crossScalaVersions": ["2.13.8", "3.1.3"]

894}

895},{

896 "module": "nyaya-util",

897 "compile": {"status": "ok", "tookMs": 60, "warnings": 1, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

902 "metadata": {

903 "crossScalaVersions": ["2.13.8", "3.1.3"]

904}

905},{

906 "module": "nyaya-gen-circe",

907 "compile": {"status": "ok", "tookMs": 766, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

912 "metadata": {

913 "crossScalaVersions": ["2.13.8", "3.1.3"]

914}

915}]

916************************

917[success] Total time: 44 s, completed Nov 26, 2025, 4:06:03 PM

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

919Checking patch project/build.properties...

920Checking patch project/Dependencies.scala...

921Checking patch build.sbt...

922Applied patch project/plugins.sbt cleanly.

923Applied patch project/build.properties cleanly.

924Applied patch project/Dependencies.scala cleanly.

925Applied patch build.sbt cleanly.