Build Logs

japgolly/nyaya • scheduled_3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY

Errors

Warnings

428

Total Lines

923

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

23Migrating project for -source:3.4 using Scala 3.7.4

24----

25Preparing build for 3.7.4

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"

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

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##################################

46Scala version: 3.7.4

47Targets: 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

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

49##################################

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

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

52[sbt_options] declare -a sbt_options=()

53[process_args] java_version = '17'

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

55# Executing command line:

56java

57-Dfile.encoding=UTF-8

58-Dcommunitybuild.scala=3.7.4

59-Dcommunitybuild.project.dependencies.add=

60-Xmx7G

61-Xms4G

62-Xss8M

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

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

65-jar

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

67"setCrossScalaVersions 3.7.4"

68"++3.7.4 -v"

69"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""

70"set every credentials := Nil"

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

72"removeScalacOptionsStartingWith -P:wartremover"

74moduleMappings

75"runBuild 3.7.4 """{"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"

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

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

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

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

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

82[info] Compilation completed in 8.712s.

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

84[warn] one warning found

85[info] done compiling

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

87ThisBuild / scalafixScalaBinaryVersion := "2.13"

88 ^

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

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

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

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

93[warn]

94[warn] * ThisBuild / scalafixScalaBinaryVersion

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

96[warn]

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

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

99Execute setCrossScalaVersions: 3.7.4

100OpenCB::Changing crossVersion 3.7.4 -> 3.7.4 in testModuleJVM/crossScalaVersions

101OpenCB::Changing crossVersion 3.7.4 -> 3.7.4 in genCirceJS/crossScalaVersions

102OpenCB::Changing crossVersion 3.7.4 -> 3.7.4 in propJVM/crossScalaVersions

103OpenCB::Changing crossVersion 3.7.4 -> 3.7.4 in testModuleJS/crossScalaVersions

104OpenCB::Changing crossVersion 3.7.4 -> 3.7.4 in benchmark/crossScalaVersions

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

106OpenCB::Changing crossVersion 3.7.4 -> 3.7.4 in genCirceJVM/crossScalaVersions

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

108OpenCB::Changing crossVersion 3.7.4 -> 3.7.4 in root/crossScalaVersions

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

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

111OpenCB::Changing crossVersion 3.7.4 -> 3.7.4 in utilJS/crossScalaVersions

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

113[info] Setting Scala version to 3.7.4 on 12 projects.

114[info] Switching Scala version on:

115[info] genCirceJS (2.13.8, 3.7.4)

116[info] * root (2.13.8, 3.7.4)

117[info] testModuleJVM (2.13.8, 3.7.4)

118[info] utilJS (2.13.8, 3.7.4)

119[info] testModuleJS (2.13.8, 3.7.4)

120[info] genCirceJVM (2.13.8, 3.7.4)

121[info] utilJVM (2.13.8, 3.7.4)

122[info] propJS (2.13.8, 3.7.4)

123[info] propJVM (2.13.8, 3.7.4)

124[info] genJS (2.13.8, 3.7.4)

125[info] genJVM (2.13.8, 3.7.4)

126[info] benchmark (2.13.8, 3.7.4)

127[info] Excluding projects:

128[info] Reapplying settings...

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

130Execute 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

131[info] Reapplying settings...

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

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

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

135[info] Run `last` for details.

136[info] Reapplying settings...

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

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

139[info] Reapplying settings...

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

141

142 Global / allExcludeDependencies from Global / allExcludeDependencies (CommunityBuildPlugin.scala:331)

143 Did you mean genCirceJVM / allExcludeDependencies ?

144 , retry without global scopes

145[info] Reapplying settings...

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

147Execute removeScalacOptionsStartingWith: -P:wartremover

148[info] Reapplying settings...

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

150[success] Total time: 0 s, completed Dec 28, 2025, 5:05:50 PM

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

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

153Starting build...

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

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

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

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

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

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

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

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

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

163Compile 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/meta, -rewrite, -Wconf:msg=can be rewritten automatically under:s, -source:3.4-migration

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

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

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

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

168[warn] | ^^^^^^^^^^^^

169[warn] | Invalid message filter

170[warn] | unknown category: unused

171[warn] two warnings found

172[info] done compiling

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

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

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

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

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

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

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

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

181[warn] | ^^^^^^^^^^^^^^^

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

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

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

185[warn] | ^^^^^^^^^^^^^

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

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

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

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

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

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

192[warn] four warnings found

193[info] done compiling

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

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

196[warn] one warning found

197[info] done compiling

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

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

200[warn] one warning found

201[info] done compiling

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

203Compile 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/meta, -rewrite, -Wconf:msg=can be rewritten automatically under:s, -source:3.4-migration

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

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

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

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

208[warn] | ^

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

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

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

212[warn] | ^

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

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

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

216[warn] | ^

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

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

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

220[warn] | ^

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

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

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

224[warn] | ^

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

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

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

228[warn] | ^

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

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

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

232[warn] | ^

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

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

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

236[warn] | ^

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

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

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

240[warn] | ^

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

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

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

244[warn] | ^

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

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

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

248[warn] | ^

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

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

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

252[warn] | ^

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

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

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

256[warn] | ^

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

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

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

260[warn] | ^

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

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

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

264[warn] | ^

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

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

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

268[warn] | ^

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

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

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

272[warn] | ^

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

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

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

276[warn] | ^

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

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

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

280[warn] | ^

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

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

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/Logic.scala]

285[warn] 20 warnings found

286[info] done compiling

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

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

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

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

291[warn] | ^

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

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

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

295[warn] | ^

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

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

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

299[warn] | ^

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

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

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

303[warn] | ^

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

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

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

307[warn] | ^

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

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

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

311[warn] | ^

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

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

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

315[warn] | ^

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

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

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

319[warn] | ^

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

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

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

323[warn] | ^

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

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

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

327[warn] | ^

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

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

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

331[warn] | ^

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

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

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

335[warn] | ^

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

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

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

339[warn] | ^

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

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

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

343[warn] | ^

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

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

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

347[warn] | ^

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

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

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

351[warn] | ^

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

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

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

355[warn] | ^

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

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

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

359[warn] | ^

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

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

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

363[warn] | ^

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

365[warn] 20 warnings found

366[info] done compiling

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

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

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

370[warn] 130 | "conjunction" - {

371[warn] | ^

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

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

374[warn] 136 | "implication" - {

375[warn] | ^

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

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

378[warn] 142 | "reduction" - {

379[warn] | ^

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

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

382[warn] 148 | "biconditional" - {

383[warn] | ^

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

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

386[warn] 155 | "nested" - {

387[warn] | ^

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

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

390[warn] 167 | "rootCause" - {

391[warn] | ^

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

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

394[warn] 172 | "contramap" - {

395[warn] | ^

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

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

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

399[warn] 8 warnings found

400[info] done compiling

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

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

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

404[warn] 130 | "conjunction" - {

405[warn] | ^

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

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

408[warn] 136 | "implication" - {

409[warn] | ^

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

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

412[warn] 142 | "reduction" - {

413[warn] | ^

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

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

416[warn] 148 | "biconditional" - {

417[warn] | ^

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

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

420[warn] 155 | "nested" - {

421[warn] | ^

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

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

424[warn] 167 | "rootCause" - {

425[warn] | ^

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

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

428[warn] 172 | "contramap" - {

429[warn] | ^

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

431[warn] 8 warnings found

432[info] done compiling

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

434Compile 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/meta, -rewrite, -Wconf:msg=can be rewritten automatically under:s, -source:3.4-migration

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

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

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

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

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

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

441[warn] one warning found

442[info] done compiling

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

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

445[warn] one warning found

446[info] done compiling

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

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

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

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

451[warn] | ^^^^^^^^^^^^

452[warn] | Invalid message filter

453[warn] | unknown category: unused

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

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

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

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

458[warn] two warnings found

459[info] done compiling

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

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

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

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

464[warn] | ^^^^^^^^^^^^

465[warn] | Invalid message filter

466[warn] | unknown category: unused

467[warn] two warnings found

468[info] done compiling

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

470Compile 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/meta, -rewrite, -Wconf:msg=can be rewritten automatically under:s, -source:3.4-migration

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

472Compile 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/meta, -rewrite, -Wconf:msg=can be rewritten automatically under:s, -source:3.4-migration

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

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

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

476[warn] one warning found

477[info] done compiling

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

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

480[warn] one warning found

481[info] done compiling

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

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

484[warn] one warning found

485[info] done compiling

486

487************************

488Build summary:

489[{

490 "module": "nyaya-gen",

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

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

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

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

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

496 "metadata": {

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

498}

499},{

500 "module": "nyaya-prop",

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

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

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

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

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

506 "metadata": {

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

508}

509},{

510 "module": "nyaya-test",

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

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

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

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

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

516 "metadata": {

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

518}

519},{

520 "module": "nyaya-util",

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

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

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

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

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

526 "metadata": {

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

528}

529},{

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

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

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

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

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

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

536 "metadata": {

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

538}

539}]

540************************

541[success] Total time: 54 s, completed Dec 28, 2025, 5:06:45 PM

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

543Checking patch project/build.properties...

544Checking patch project/Dependencies.scala...

545Checking patch build.sbt...

546Applied patch project/plugins.sbt cleanly.

547Applied patch project/build.properties cleanly.

548Applied patch project/Dependencies.scala cleanly.

549Applied patch build.sbt cleanly.

550Commit migration rewrites

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

552[opencb/migrate-source-3.4 331503f] Apply Scala compiler rewrites using -source:3.4-migration using Scala 3.7.4

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

554----

555Preparing build for 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY

556Scala binary version found: 3.8

557Implicitly using source version 3.8

558Scala binary version found: 3.8

559Implicitly using source version 3.8

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

561Append: ,REQUIRE:-source:3.8

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

563

564Try apply source patch:

565Path: project/Dependencies.scala

566Pattern: val scala3 = "3.1.3"

567Replacement: val scala3 = "3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY"

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

569----

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

571Execute tests: false

572sbt project found:

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

574Enforcing usage of sbt in version 1.11.5

575No prepare script found for project japgolly/nyaya

576##################################

577Scala version: 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY

578Targets: 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

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

580##################################

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

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

583[sbt_options] declare -a sbt_options=()

584[process_args] java_version = '17'

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

586# Executing command line:

587java

588-Dfile.encoding=UTF-8

589-Dcommunitybuild.scala=3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY

590-Dcommunitybuild.project.dependencies.add=

591-Xmx7G

592-Xms4G

593-Xss8M

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

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

596-jar

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

598"setCrossScalaVersions 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY"

599"++3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -v"

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

601"set every credentials := Nil"

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

603"removeScalacOptionsStartingWith -P:wartremover"

604

605moduleMappings

606"runBuild 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY """{"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"

607

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

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

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

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

612[info] done compiling

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

614ThisBuild / scalafixScalaBinaryVersion := "2.13"

615 ^

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

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

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

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

620[warn]

621[warn] * ThisBuild / scalafixScalaBinaryVersion

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

623[warn]

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

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

626Execute setCrossScalaVersions: 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY

627OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in testModuleJVM/crossScalaVersions

628OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in genCirceJS/crossScalaVersions

629OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in propJVM/crossScalaVersions

630OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in testModuleJS/crossScalaVersions

631OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in utilJVM/crossScalaVersions

632OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in benchmark/crossScalaVersions

633OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in genJVM/crossScalaVersions

634OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in genCirceJVM/crossScalaVersions

635OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in root/crossScalaVersions

636OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in propJS/crossScalaVersions

637OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in genJS/crossScalaVersions

638OpenCB::Changing crossVersion 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY -> 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY in utilJS/crossScalaVersions

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

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

641[info] Switching Scala version on:

642[info] genCirceJS (2.13.8, 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

643[info] * root (2.13.8, 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

644[info] testModuleJVM (2.13.8, 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

645[info] utilJS (2.13.8, 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

646[info] testModuleJS (2.13.8, 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

647[info] genCirceJVM (2.13.8, 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

648[info] utilJVM (2.13.8, 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

649[info] propJS (2.13.8, 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

650[info] propJVM (2.13.8, 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

651[info] genJS (2.13.8, 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

652[info] genJVM (2.13.8, 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

653[info] benchmark (2.13.8, 3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY)

654[info] Excluding projects:

655[info] Reapplying settings...

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

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

658[info] Reapplying settings...

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

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

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

662[info] Run `last` for details.

663[info] Reapplying settings...

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

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

666[info] Reapplying settings...

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

668

669 Global / allExcludeDependencies from Global / allExcludeDependencies (CommunityBuildPlugin.scala:331)

670 Did you mean genCirceJVM / allExcludeDependencies ?

671 , retry without global scopes

672[info] Reapplying settings...

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

674Execute removeScalacOptionsStartingWith: -P:wartremover

675[info] Reapplying settings...

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

677[success] Total time: 0 s, completed Dec 28, 2025, 5:07:07 PM

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

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

680Starting build...

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

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

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

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

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

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

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

688Compile 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.1-RC1-bin-20251228-e73ff2c-NIGHTLY/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

689[info] compiling 4 Scala sources to /build/repo/util/jvm/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/classes ...

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

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

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

693[warn] | ^^^^^^^^^^^^

694[warn] | Invalid message filter

695[warn] | unknown category: unused

696[warn] two warnings found

697[info] done compiling

698[info] compiling 12 Scala sources to /build/repo/gen/jvm/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/classes ...

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

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

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

702[warn] | ^^^^^^^^^

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

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

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

706[warn] | ^^^^^^^^^^^^^^^

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

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

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

710[warn] | ^^^^^^^^^^^^^

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

712[warn] four warnings found

713[info] done compiling

714[info] compiling 2 Scala sources to /build/repo/gen/jvm/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/test-classes ...

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

716[warn] one warning found

717[info] done compiling

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

719Compile 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.1-RC1-bin-20251228-e73ff2c-NIGHTLY/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

720[info] compiling 6 Scala sources to /build/repo/prop/jvm/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/classes ...

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

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

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

724[warn] | ^

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

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

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

728[warn] | ^

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

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

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

732[warn] | ^

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

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

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

736[warn] | ^

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

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

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

740[warn] | ^

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

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

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

744[warn] | ^

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

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

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

748[warn] | ^

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

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

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

752[warn] | ^

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

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

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

756[warn] | ^

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

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

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

760[warn] | ^

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

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

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

764[warn] | ^

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

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

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

768[warn] | ^

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

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

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

772[warn] | ^

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

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

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

776[warn] | ^

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

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

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

780[warn] | ^

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

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

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

784[warn] | ^

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

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

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

788[warn] | ^

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

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

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

792[warn] | ^

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

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

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

796[warn] | ^

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

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

799[warn] 21 warnings found

800[info] done compiling

801[info] compiling 2 Scala sources to /build/repo/prop/jvm/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/test-classes ...

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

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

804[warn] 130 | "conjunction" - {

805[warn] | ^

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

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

808[warn] 136 | "implication" - {

809[warn] | ^

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

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

812[warn] 142 | "reduction" - {

813[warn] | ^

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

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

816[warn] 148 | "biconditional" - {

817[warn] | ^

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

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

820[warn] 155 | "nested" - {

821[warn] | ^

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

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

824[warn] 167 | "rootCause" - {

825[warn] | ^

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

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

828[warn] 172 | "contramap" - {

829[warn] | ^

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

831[warn] 8 warnings found

832[info] done compiling

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

834Compile 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.1-RC1-bin-20251228-e73ff2c-NIGHTLY/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

835[info] compiling 9 Scala sources to /build/repo/test/jvm/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/classes ...

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

837[warn] one warning found

838[info] done compiling

839[info] compiling 5 Scala sources to /build/repo/test/jvm/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/test-classes ...

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

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

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

843[warn] | ^^^^^^^^^^^^

844[warn] | Invalid message filter

845[warn] | unknown category: unused

846[warn] two warnings found

847[info] done compiling

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

849Compile 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.1-RC1-bin-20251228-e73ff2c-NIGHTLY/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

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

851Compile 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.1-RC1-bin-20251228-e73ff2c-NIGHTLY/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

852[info] compiling 1 Scala source to /build/repo/gen-circe/jvm/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/classes ...

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

854[warn] one warning found

855[info] done compiling

856[info] compiling 1 Scala source to /build/repo/gen-circe/jvm/target/scala-3.8.1-RC1-bin-20251228-e73ff2c-NIGHTLY/test-classes ...

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

858[warn] one warning found

859[info] done compiling

860

861************************

862Build summary:

863[{

864 "module": "nyaya-gen",

865 "compile": {"status": "ok", "tookMs": 15690, "warnings": 3, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

870 "metadata": {

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

872}

873},{

874 "module": "nyaya-prop",

875 "compile": {"status": "ok", "tookMs": 3026, "warnings": 19, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

880 "metadata": {

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

882}

883},{

884 "module": "nyaya-test",

885 "compile": {"status": "ok", "tookMs": 1800, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

890 "metadata": {

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

892}

893},{

894 "module": "nyaya-util",

895 "compile": {"status": "ok", "tookMs": 69, "warnings": 1, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

900 "metadata": {

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

902}

903},{

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

905 "compile": {"status": "ok", "tookMs": 593, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

910 "metadata": {

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

912}

913}]

914************************

915[success] Total time: 38 s, completed Dec 28, 2025, 5:07:45 PM

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

917Checking patch project/build.properties...

918Checking patch project/Dependencies.scala...

919Checking patch build.sbt...

920Applied patch project/plugins.sbt cleanly.

921Applied patch project/build.properties cleanly.

922Applied patch project/Dependencies.scala cleanly.

923Applied patch build.sbt cleanly.