Build Logs

japgolly/nyaya • 3.8.0:2026-01-13

Errors

Warnings

428

Total Lines

1054

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

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 utilJVM/crossScalaVersions

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

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

107OpenCB::Changing crossVersion 3.7.4 -> 3.7.4 in genCirceJVM/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 utilJS/crossScalaVersions

111OpenCB::Changing crossVersion 3.7.4 -> 3.7.4 in genJS/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 Jan 13, 2026, 4:10:07 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/GenCtx.scala]

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

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

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

191[info] [patched file /build/repo/gen/shared/src/main/scala/nyaya/gen/Gen.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/Eval.scala]

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

284[info] [patched file /build/repo/prop/shared/src/main/scala/nyaya/prop/Prop.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/PropTest.scala]

398[info] [patched file /build/repo/prop/shared/src/test/scala/nyaya/prop/CycleDetectorTest.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/Domain.scala]

440[info] [patched file /build/repo/test/shared/src/main/scala/nyaya/test/PTest.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": 12159, "warnings": 3, "errors": 0, "sourceVersion": "3.4-migration"},

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

493 "test-compile": {"status": "ok", "tookMs": 4790, "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": 2334, "warnings": 19, "errors": 0, "sourceVersion": "3.4-migration"},

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

503 "test-compile": {"status": "ok", "tookMs": 3858, "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": 1516, "warnings": 0, "errors": 0, "sourceVersion": "3.4-migration"},

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

513 "test-compile": {"status": "ok", "tookMs": 3403, "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": 46, "warnings": 1, "errors": 0, "sourceVersion": "3.4-migration"},

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

523 "test-compile": {"status": "ok", "tookMs": 82, "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": 511, "warnings": 0, "errors": 0, "sourceVersion": "3.4-migration"},

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

533 "test-compile": {"status": "ok", "tookMs": 645, "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: 37 s, completed Jan 13, 2026, 4:10:44 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 316a328] 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.0

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.0"

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

569----

570Starting build for 3.8.0

571Execute tests: true

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.0

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":"full","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.0

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.0"

599"++3.8.0 -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.0 """{"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","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.0

627OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in testModuleJVM/crossScalaVersions

628OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in genCirceJS/crossScalaVersions

629OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in propJVM/crossScalaVersions

630OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in testModuleJS/crossScalaVersions

631OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in benchmark/crossScalaVersions

632OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in utilJVM/crossScalaVersions

633OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in genJVM/crossScalaVersions

634OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in genCirceJVM/crossScalaVersions

635OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in root/crossScalaVersions

636OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in propJS/crossScalaVersions

637OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in genJS/crossScalaVersions

638OpenCB::Changing crossVersion 3.8.0 -> 3.8.0 in utilJS/crossScalaVersions

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

640[info] Setting Scala version to 3.8.0 on 12 projects.

641[info] Switching Scala version on:

642[info] genCirceJS (2.13.8, 3.8.0)

643[info] * root (2.13.8, 3.8.0)

644[info] testModuleJVM (2.13.8, 3.8.0)

645[info] utilJS (2.13.8, 3.8.0)

646[info] testModuleJS (2.13.8, 3.8.0)

647[info] genCirceJVM (2.13.8, 3.8.0)

648[info] utilJVM (2.13.8, 3.8.0)

649[info] propJS (2.13.8, 3.8.0)

650[info] propJVM (2.13.8, 3.8.0)

651[info] genJS (2.13.8, 3.8.0)

652[info] genJVM (2.13.8, 3.8.0)

653[info] benchmark (2.13.8, 3.8.0)

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 Jan 13, 2026, 4:11:05 PM

678Build config: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","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()),Full,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.0/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.0/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.0/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.0/test-classes ...

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

716[warn] one warning found

717[info] done compiling

718-------------------------------- Running Tests --------------------------------

719-------------------------------- Running Tests --------------------------------

720+ nyaya.gen.Gen3Test.Gen#to 40ms

721+ nyaya.gen.Gen3Test.Gen#arraySeq 0ms

722+ nyaya.gen.Gen3Test.Gen#arraySeq(ss) 1ms

723+ nyaya.gen.DistinctTest.names 4ms

724+ nyaya.gen.DistinctTest.ages.Same number of ages 0ms

725+ nyaya.gen.DistinctTest.ages.All ages distinct 0ms

726+ nyaya.gen.DistinctTest.ages.Original ages preserved 1ms

727+ nyaya.gen.DistinctTest.ages.No blacklisted ages 0ms

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

729Compile 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/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

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

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

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

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

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:58:2 -

737[warn] 58 | @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:59:2 -

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

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:60:2 -

745[warn] 60 | @inline final def ⇔ (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:61:2 -

749[warn] 61 | @inline final def iff (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:62:2 -

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

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:63:2 -

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

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:64:2 -

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

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:65:2 -

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

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:66:2 -

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

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:67:2 -

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

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:69:2 -

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

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:70:4 -

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

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:72:2 -

785[warn] 72 | final def ∨(q: Logic[P, A]): Logic[P, A] = 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:84:2 -

789[warn] 84 | final def ∧(q: Logic[P, A]): 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:96:2 -

793[warn] 96 | final def contramap[B](f: B => A): Logic[P, B] = 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:107:2

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

798[warn] | ^

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

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

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

802[warn] | ^

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

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

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

806[warn] | ^

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

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

809[warn] 21 warnings found

810[info] done compiling

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

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

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

814[warn] 130 | "conjunction" - {

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:136:3

818[warn] 136 | "implication" - {

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:142:3

822[warn] 142 | "reduction" - {

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:148:3

826[warn] 148 | "biconditional" - {

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:155:3

830[warn] 155 | "nested" - {

831[warn] | ^

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

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

834[warn] 167 | "rootCause" - {

835[warn] | ^

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

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

838[warn] 172 | "contramap" - {

839[warn] | ^

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

841[warn] 8 warnings found

842[info] done compiling

843-------------------------------- Running Tests --------------------------------

844-------------------------------- Running Tests --------------------------------

845+ nyaya.prop.CycleDetectorTest.directed.lines 10ms

846+ nyaya.prop.CycleDetectorTest.directed.diamond 0ms

847+ nyaya.prop.CycleDetectorTest.directed.1(35)24 0ms

848+ nyaya.prop.CycleDetectorTest.directed.1(35)245 4ms

849+ nyaya.prop.CycleDetectorTest.directed.circle 0ms

850+ nyaya.prop.CycleDetectorTest.directed.self 0ms

851+ nyaya.prop.CycleDetectorTest.undirected.lines 3ms

852+ nyaya.prop.CycleDetectorTest.undirected.diamond 0ms

853+ nyaya.prop.CycleDetectorTest.undirected.1(35)24 0ms

854+ nyaya.prop.CycleDetectorTest.undirected.1(35)245 0ms

855+ nyaya.prop.CycleDetectorTest.undirected.circle 0ms

856+ nyaya.prop.CycleDetectorTest.undirected.self 0ms

857+ nyaya.prop.PropTest.atom 81ms

858+ nyaya.prop.PropTest.negation 0ms

859+ nyaya.prop.PropTest.doubleNegation 0ms

860+ nyaya.prop.PropTest.disjunction 2ms

861+ nyaya.prop.PropTest.conjunction 1ms

862+ nyaya.prop.PropTest.implication 1ms

863+ nyaya.prop.PropTest.reduction 1ms

864+ nyaya.prop.PropTest.biconditional 1ms

865+ nyaya.prop.PropTest.nested 0ms

866+ nyaya.prop.PropTest.rootCause 3ms

867+ nyaya.prop.PropTest.contramap 2ms

868+ nyaya.prop.PropTest.renamed 4ms

869+ nyaya.prop.PropTest.forall.* 8ms

870+ nyaya.prop.PropTest.forall.* 6ms

871+ nyaya.prop.PropTest.whitelist 9ms

872+ nyaya.prop.PropTest.blacklist 1ms

873+ nyaya.prop.PropTest.allPresent 2ms

874+ nyaya.prop.PropTest.whitelistI 1ms

875+ nyaya.prop.PropTest.distinct 6ms

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

877Compile 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/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

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

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

880[warn] one warning found

881[info] done compiling

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

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

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

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

886[warn] | ^^^^^^^^^^^^

887[warn] | Invalid message filter

888[warn] | unknown category: unused

889[warn] two warnings found

890[info] done compiling

891-------------------------------- Running Tests --------------------------------

892-------------------------------- Running Tests --------------------------------

893-------------------------------- Running Tests --------------------------------

894-------------------------------- Running Tests --------------------------------

895+ nyaya.test.DomainTest.boolean 9ms

896+ nyaya.test.DomainTest.option 0ms

897+ nyaya.test.DomainTest.either 1ms

898+ nyaya.test.DomainTest.pair 1ms

899+ nyaya.test.DomainTest.abc 0ms

900+ nyaya.test.DomainTest.map 0ms

901+ nyaya.test.DomainTest.vector02 2ms

902+ nyaya.test.DomainTest.vector01 0ms

903+ nyaya.test.DomainTest.vector12 0ms

904+ nyaya.test.DomainTest.vector2 0ms

905+ nyaya.test.DomainTest.array01 6ms

906+ nyaya.test.DomainTest.array12 0ms

907-------------------------------- Running Tests --------------------------------

908+ nyaya.test.PropTestTest.distinct 44ms

909+ nyaya.gen.StateGenTest 145ms

910+ nyaya.test.PropTestTest.runs.1 12ms

911+ nyaya.test.PropTestTest.runs.4 8ms

912+ nyaya.test.PropTestTest.runs.7 11ms

913+ nyaya.test.PropTestTest.runs.9 11ms

914+ nyaya.test.PropTestTest.runs.71 10ms

915+ nyaya.test.PropTestTest.runs.100 13ms

916+ nyaya.test.PropTestTest.proof 7ms

917+ nyaya.gen.GenTestJvm.dateTime.deltaPast 256ms

918+ nyaya.gen.GenTestJvm.dateTime.deltaFuture 19ms

919+ nyaya.gen.GenTestJvm.dateTime.deltaAround 126ms

920+ nyaya.gen.GenTest.chooseInt.bound 259ms

921+ nyaya.gen.GenTest.chooseInt.range 0ms

922+ nyaya.gen.GenTest.chooseInt.singleValue 0ms

923+ nyaya.gen.GenTest.chooseInt.wholeRange 0ms

924+ nyaya.gen.GenTestJvm.dateTime.zonedDateTime 47ms

925+ nyaya.gen.GenTestJvm.dateTime.zonedDateTimeZ 0ms

926+ nyaya.gen.GenTest.chooseInt.positiveRange 12ms

927+ nyaya.gen.GenTestJvm.dateTime.zonedDateTimeG 8ms

928+ nyaya.gen.GenTest.chooseInt.hugeRange 22ms

929+ nyaya.gen.GenTestJvm.dateTime.zonedDateTimeAvoidingJDK8066982 78ms

930+ nyaya.gen.GenTestJvm.dateTime.deterministic 1ms

931+ nyaya.gen.GenTestJvm.parallel.noSeed 4ms

932+ nyaya.gen.GenTestJvm.parallel.withSeed 2ms

933+ nyaya.gen.GenTestJvm.parallel.withConstSeed 2ms

934+ nyaya.gen.GenTest.chooseLong.bound 85ms

935+ nyaya.gen.GenTest.chooseLong.bigBound 124ms

936+ nyaya.gen.GenTest.chooseLong.range 1ms

937+ nyaya.gen.GenTest.chooseLong.singleValue 1ms

938+ nyaya.gen.GenTest.chooseLong.wholeRange 0ms

939+ nyaya.gen.GenTest.chooseLong.positiveRange 6ms

940+ nyaya.gen.GenTest.chooseLong.hugeRange 13ms

941+ nyaya.gen.GenTest.chooseLong.by2.ee 3ms

942+ nyaya.gen.GenTest.chooseLong.by2.eo 0ms

943+ nyaya.gen.GenTest.chooseLong.by2.oe 0ms

944+ nyaya.gen.GenTest.chooseLong.by2.oo 0ms

945+ nyaya.gen.GenTest.chooseChar 2ms

946+ nyaya.gen.GenTest.charToString 0ms

947+ nyaya.gen.GenTest.unicodeString 3ms

948+ nyaya.gen.GenTest.fill 2ms

949+ nyaya.gen.GenTest.shuffle 14ms

950+ nyaya.gen.GenTest.mapBy 3ms

951+ nyaya.gen.GenTest.mapByKeySubset 4ms

952+ nyaya.gen.GenTest.mapByEachKey 9ms

953+ nyaya.gen.GenTest.newOrOld 3ms

954+ nyaya.gen.GenTest.frequency 14ms

955+ nyaya.gen.GenTest.sequence 1ms

956+ nyaya.gen.GenTest.tailrec.plain 19ms

957+ nyaya.gen.GenTest.tailrec.cats 26ms

958+ nyaya.gen.GenTest.optionGet.pass 3ms

959+ nyaya.gen.GenTest.optionGet.fail 0ms

960+ nyaya.gen.GenTest.reseed 4ms

961+ nyaya.gen.GenTest.orderedSeq.noDrop.dups0 2ms

962+ nyaya.gen.GenTest.orderedSeq.noDrop.dups1 4ms

963+ nyaya.gen.GenTest.orderedSeq.noDrop.dups2 4ms

964+ nyaya.gen.GenTest.orderedSeq.dropEmpty.dups0 2ms

965+ nyaya.gen.GenTest.orderedSeq.dropEmpty.dups1 4ms

966+ nyaya.gen.GenTest.orderedSeq.dropNonEmpty.dups0 2ms

967+ nyaya.gen.GenTest.orderedSeq.dropNonEmpty.dups1 4ms

968+ nyaya.gen.GenTest.choose 35ms

969+ nyaya.gen.GenTest.sizedSet 8ms

970+ nyaya.gen.GenTest.fairlyDistributedSeq 19ms

971+ nyaya.gen.GenTest.uuid 0ms

972+ nyaya.gen.GenTest.withSeed 4ms

973+ nyaya.gen.GenTest.withSeedAcrossSamples 0ms

974+ nyaya.gen.GenTest.withConstSeed 0ms

975+ nyaya.gen.GenTest.dateTime.deterministic 0ms

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

977Compile 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/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

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

979Compile 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/meta, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

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

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

982[warn] one warning found

983[info] done compiling

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

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

986[warn] one warning found

987[info] done compiling

988-------------------------------- Running Tests --------------------------------

989+ nyaya.gen.circe.GenJsonTest.genJson 162ms 62

990+ nyaya.gen.circe.GenJsonTest.genJsonObject 18ms 80

991

992************************

993Build summary:

994[{

995 "module": "nyaya-gen",

996 "compile": {"status": "ok", "tookMs": 13137, "warnings": 3, "errors": 0, "sourceVersion": "3.8"},

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

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

999 "test": {"status": "ok", "tookMs": 665, "passed": 8, "failed": 0, "ignored": 0, "skipped": 0, "total": 8, "byFramework": [{"framework": "unknown", "stats": {"passed": 8, "failed": 0, "ignored": 0, "skipped": 0, "total": 8}}]},

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

1001 "metadata": {

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

1003}

1004},{

1005 "module": "nyaya-prop",

1006 "compile": {"status": "ok", "tookMs": 2858, "warnings": 19, "errors": 0, "sourceVersion": "3.8"},

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

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

1009 "test": {"status": "ok", "tookMs": 443, "passed": 31, "failed": 0, "ignored": 0, "skipped": 0, "total": 31, "byFramework": [{"framework": "unknown", "stats": {"passed": 31, "failed": 0, "ignored": 0, "skipped": 0, "total": 31}}]},

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

1011 "metadata": {

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

1013}

1014},{

1015 "module": "nyaya-test",

1016 "compile": {"status": "ok", "tookMs": 1836, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

1019 "test": {"status": "ok", "tookMs": 1241, "passed": 80, "failed": 0, "ignored": 0, "skipped": 0, "total": 80, "byFramework": [{"framework": "unknown", "stats": {"passed": 80, "failed": 0, "ignored": 0, "skipped": 0, "total": 80}}]},

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

1021 "metadata": {

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

1023}

1024},{

1025 "module": "nyaya-util",

1026 "compile": {"status": "ok", "tookMs": 61, "warnings": 1, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

1031 "metadata": {

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

1033}

1034},{

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

1036 "compile": {"status": "ok", "tookMs": 566, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

1039 "test": {"status": "ok", "tookMs": 425, "passed": 2, "failed": 0, "ignored": 0, "skipped": 0, "total": 2, "byFramework": [{"framework": "unknown", "stats": {"passed": 2, "failed": 0, "ignored": 0, "skipped": 0, "total": 2}}]},

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

1041 "metadata": {

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

1043}

1044}]

1045************************

1046[success] Total time: 34 s, completed Jan 13, 2026, 4:11:39 PM

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

1048Checking patch project/build.properties...

1049Checking patch project/Dependencies.scala...

1050Checking patch build.sbt...

1051Applied patch project/plugins.sbt cleanly.

1052Applied patch project/build.properties cleanly.

1053Applied patch project/Dependencies.scala cleanly.

1054Applied patch build.sbt cleanly.