Build Logs

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

2Clonning https://github.com/yoohaemin/decrel.git into /build/repo using revision v0.1.1

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

4Note: switching to 'e620d5038ab8bd0e7a2c514418a7e9077027d5a8'.

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

22----

23Preparing build for 3.8.0-RC5

24Scala binary version found: 3.8

25Implicitly using source version 3.8

26Scala binary version found: 3.8

27Implicitly using source version 3.8

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

29Append: ,REQUIRE:-source:3.8

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

32Try apply source patch:

33Path: build.sbt

34Pattern: val scala3 = "3.3.5"

35Replacement: val scala3 = "3.8.0-RC5"

36Starting compilation server

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

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

39Successfully applied pattern 'val scala3 = "3.3.5"' in build.sbt

40----

41Starting build for 3.8.0-RC5

42Execute tests: true

43sbt project found:

44Sbt version 1.10.7 is not supported, minimal supported version is 1.11.5

45Enforcing usage of sbt in version 1.11.5

46No prepare script found for project yoohaemin/decrel

47##################################

48Scala version: 3.8.0-RC5

49Targets: com.yoohaemin%decrel-cats com.yoohaemin%decrel-core com.yoohaemin%decrel-fetch com.yoohaemin%decrel-scalacheck com.yoohaemin%decrel-ziotest com.yoohaemin%decrel-zquery

50Project projectConfig: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"val scala3 = \"3.3.5\"","replaceWith":"val scala3 = \"<SCALA_VERSION>\""}]}

51##################################

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

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

54[sbt_options] declare -a sbt_options=()

55[process_args] java_version = '17'

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

57# Executing command line:

58java

59-Dfile.encoding=UTF-8

60-Xmx2G

61-Dsbt.supershell=false

62-Dcommunitybuild.scala=3.8.0-RC5

63-Dcommunitybuild.project.dependencies.add=

64-Xmx7G

65-Xms4G

66-Xss8M

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

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

69-jar

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

71"setCrossScalaVersions 3.8.0-RC5"

72"++3.8.0-RC5 -v"

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

74"set every credentials := Nil"

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

76"removeScalacOptionsStartingWith -P:wartremover"

78moduleMappings

79"runBuild 3.8.0-RC5 """{"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"val scala3 = \"3.3.5\"","replaceWith":"val scala3 = \"<SCALA_VERSION>\""}]}""" com.yoohaemin%decrel-cats com.yoohaemin%decrel-core com.yoohaemin%decrel-fetch com.yoohaemin%decrel-scalacheck com.yoohaemin%decrel-ziotest com.yoohaemin%decrel-zquery"

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

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

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

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

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

86[info] Compilation completed in 8.924s.

87[info] done compiling

88[info] loading settings for project root from build.sbt...

89[info] resolving key references (15037 settings) ...

90[info]

91[info] DECREL - Declarative Programming with Relations

92[info] 0.1.1+0-e620d503+20251231-2126-SNAPSHOT

93[info]

94[info] Useful sbt tasks:

95[info] > ~compile - Compile all modules with file-watch enabled

96[info] > +test - Run the unit test suite

97[info] > fmt - Run scalafmt on the entire project

98[info] > +publishLocal - Publish decrel locally

99Execute setCrossScalaVersions: 3.8.0-RC5

100OpenCB::Changing crossVersion 3.8.0-RC5 -> 3.8.0-RC5 in fetch/crossScalaVersions

101OpenCB::Changing crossVersion 3.8.0-RC5 -> 3.8.0-RC5 in zqueryJS/crossScalaVersions

102OpenCB::Changing crossVersion 3.8.0-RC5 -> 3.8.0-RC5 in core/crossScalaVersions

103OpenCB::Limitting incorrect crossVersions List() -> List(2.13.16) in root/crossScalaVersions

104OpenCB::Changing crossVersion 3.8.0-RC5 -> 3.8.0-RC5 in zquery/crossScalaVersions

105OpenCB::Changing crossVersion 3.8.0-RC5 -> 3.8.0-RC5 in ziotestJS/crossScalaVersions

106OpenCB::Changing crossVersion 3.8.0-RC5 -> 3.8.0-RC5 in cats/crossScalaVersions

107OpenCB::Changing crossVersion 3.8.0-RC5 -> 3.8.0-RC5 in coreJS/crossScalaVersions

108OpenCB::Changing crossVersion 3.8.0-RC5 -> 3.8.0-RC5 in catsJS/crossScalaVersions

109OpenCB::Changing crossVersion 3.8.0-RC5 -> 3.8.0-RC5 in scalacheck/crossScalaVersions

110OpenCB::Changing crossVersion 3.8.0-RC5 -> 3.8.0-RC5 in scalacheckJS/crossScalaVersions

111OpenCB::Changing crossVersion 3.8.0-RC5 -> 3.8.0-RC5 in ziotest/crossScalaVersions

112[info]

113[info] DECREL - Declarative Programming with Relations

114[info] 0.1.1+0-e620d503+20251231-2126-SNAPSHOT

115[info]

116[info] Useful sbt tasks:

117[info] > ~compile - Compile all modules with file-watch enabled

118[info] > +test - Run the unit test suite

119[info] > fmt - Run scalafmt on the entire project

120[info] > +publishLocal - Publish decrel locally

121[info] Setting Scala version to 3.8.0-RC5 on 11 projects.

122[info] Switching Scala version on:

123[info] ziotest (2.13.16, 3.8.0-RC5)

124[info] ziotestJS (2.13.16, 3.8.0-RC5)

125[info] coreJS (2.13.16, 3.8.0-RC5)

126[info] scalacheck (2.13.16, 3.8.0-RC5)

127[info] fetch (2.13.16, 3.8.0-RC5)

128[info] cats (2.13.16, 3.8.0-RC5)

129[info] core (2.13.16, 3.8.0-RC5)

130[info] catsJS (2.13.16, 3.8.0-RC5)

131[info] zqueryJS (2.13.16, 3.8.0-RC5)

132[info] zquery (2.13.16, 3.8.0-RC5)

133[info] scalacheckJS (2.13.16, 3.8.0-RC5)

134[info] Excluding projects:

135[info] * root (2.13.16)

136[info] fetchJS (2.13.16)

137[info] docs (2.13.16)

138[info] jsdocs (2.13.16)

139[info] Reapplying settings...

140[info]

141[info] DECREL - Declarative Programming with Relations

142[info] 0.1.1+0-e620d503+20251231-2126-SNAPSHOT

143[info]

144[info] Useful sbt tasks:

145[info] > ~compile - Compile all modules with file-watch enabled

146[info] > +test - Run the unit test suite

147[info] > fmt - Run scalafmt on the entire project

148[info] > +publishLocal - Publish decrel locally

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

150[info] Reapplying settings...

151[info]

152[info] DECREL - Declarative Programming with Relations

153[info] 0.1.1+0-e620d503+20251231-2126-SNAPSHOT

154[info]

155[info] Useful sbt tasks:

156[info] > ~compile - Compile all modules with file-watch enabled

157[info] > +test - Run the unit test suite

158[info] > fmt - Run scalafmt on the entire project

159[info] > +publishLocal - Publish decrel locally

160[info] Defining Global / credentials, cats / credentials and 13 others.

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

162[info] Run `last` for details.

163[info] Reapplying settings...

164[info]

165[info] DECREL - Declarative Programming with Relations

166[info] 0.1.1+0-e620d503+20251231-2126-SNAPSHOT

167[info]

168[info] Useful sbt tasks:

169[info] > ~compile - Compile all modules with file-watch enabled

170[info] > +test - Run the unit test suite

171[info] > fmt - Run scalafmt on the entire project

172[info] > +publishLocal - Publish decrel locally

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

174[info] Reapplying settings...

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

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

178 Did you mean cats / allExcludeDependencies ?

179 , retry without global scopes

180[info] Reapplying settings...

181[info]

182[info] DECREL - Declarative Programming with Relations

183[info] 0.1.1+0-e620d503+20251231-2126-SNAPSHOT

184[info]

185[info] Useful sbt tasks:

186[info] > ~compile - Compile all modules with file-watch enabled

187[info] > +test - Run the unit test suite

188[info] > fmt - Run scalafmt on the entire project

189[info] > +publishLocal - Publish decrel locally

190Execute removeScalacOptionsStartingWith: -P:wartremover

191[info] Reapplying settings...

192[info]

193[info] DECREL - Declarative Programming with Relations

194[info] 0.1.1+0-e620d503+20251231-2126-SNAPSHOT

195[info]

196[info] Useful sbt tasks:

197[info] > ~compile - Compile all modules with file-watch enabled

198[info] > +test - Run the unit test suite

199[info] > fmt - Run scalafmt on the entire project

200[info] > +publishLocal - Publish decrel locally

201[success] Total time: 0 s, completed Dec 31, 2025, 9:26:27 PM

202Build config: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"val scala3 = \"3.3.5\"","replaceWith":"val scala3 = \"<SCALA_VERSION>\""}]}

203Parsed config: Success(ProjectBuildConfig(ProjectsConfig(List(),Map()),Full,List()))

204Starting build...

205Projects: Set(ziotest, scalacheck, fetch, cats, core, zquery)

206Starting build for ProjectRef(file:/build/repo/,cats) (decrel-cats)... [0/6]

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

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

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

210OpenCB::Filter out '-Xfatal-warnings', matches setting pattern '^-?-Xfatal-warnings'

211Compile scalacOptions: -encoding, UTF-8, -language:higherKinds, -language:existentials, -unchecked, -no-indent, -Ykind-projector, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

212[info] compiling 14 Scala sources to /build/repo/core/.jvm/target/scala-3.8.0-RC5/classes ...

215[info] done compiling

216[info] compiling 2 Scala sources to /build/repo/cats/.jvm/target/scala-3.8.0-RC5/classes ...

219[info] done compiling

220Starting build for ProjectRef(file:/build/repo/,zquery) (decrel-zquery)... [1/6]

221Compile scalacOptions: -encoding, UTF-8, -language:higherKinds, -language:existentials, -unchecked, -no-indent, -Ykind-projector, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

222[info] compiling 2 Scala sources to /build/repo/zquery/.jvm/target/scala-3.8.0-RC5/classes ...

225[info] done compiling

226[info] compiling 1 Scala source to /build/repo/zquery/.jvm/target/scala-3.8.0-RC5/test-classes ...

229[info] done compiling

230+ ZQuery proof

231 + Declared relations

232 + Self relation

233 + Single relation - contramapped

234 + Single relation - implemented for itself

235 + Optional relation - existing

236 + Optional relation - non-existing

237 + Many relation

238 + Composed relations

239 + >>:

240 + simple

241 + cached

242 + <>:

243 + simple

244 + cached

245 + &

246 + cached

247 + simple

248 + Optimizations

249 + deduplication

250 + &

251 + >>:

252 + batching

253 + Unique datasource names

254 + Two relations with the same name

25516 tests passed. 0 tests failed. 0 tests ignored.

257Executed in 592 ms

259Starting build for ProjectRef(file:/build/repo/,core) (decrel-core)... [2/6]

260Compile scalacOptions: -encoding, UTF-8, -language:higherKinds, -language:existentials, -unchecked, -no-indent, -Ykind-projector, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

261[info] compiling 2 Scala sources to /build/repo/core/.jvm/target/scala-3.8.0-RC5/test-classes ...

264[info] done compiling

265+ proof

266 + materializing for datasources with errors

267 + on rhs

268 + on both sides

269 + with supertype error on lhs

270 + on lhs

271 + with supertype error on rhs

272 + materializing for datasources without errors

273+ relation

274 + composition

275 + one to one

276 + one to one, zipped

277 + one to optional

278 + one to optional, zipped

279 + one to many

280 + zipping one

281 + zipping more than one

282 + one to many, zipped

283 + compose one zipped & a zipped relation

284 + compose one & a zipped relation

285 + compose one compose one zipped & a zipped relation

286 + compose optional & a zipped relation

287 + compose optional zipped & a zipped relation

288 + compose optional compose optional zipped & a zipped relation

289 + compose many & a zipped relation

290 + compose many zipped & a zipped relation

291 + <>: and >>: has same operator precedence

292 + compose many compose many zipped & a zipped relation

29324 tests passed. 0 tests failed. 0 tests ignored.

295Executed in 483 ms

297Starting build for ProjectRef(file:/build/repo/,scalacheck) (decrel-scalacheck)... [3/6]

298Compile scalacOptions: -encoding, UTF-8, -language:higherKinds, -language:existentials, -unchecked, -no-indent, -Ykind-projector, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

299[info] compiling 2 Scala sources to /build/repo/scalacheck/.jvm/target/scala-3.8.0-RC5/classes ...

302[info] done compiling

303[info] compiling 1 Scala source to /build/repo/scalacheck/.jvm/target/scala-3.8.0-RC5/test-classes ...

306[info] done compiling

307[info] + Relations.Simple relation: OK, passed 100 tests.

308[info] + Relations.Composing with >>:: OK, passed 100 tests.

309[info] + Relations.Composing with &: OK, passed 100 tests.

310[info] + Relations.Composing with <>:: OK, passed 100 tests.

311[info] + Relations.Complex relations: OK, passed 100 tests.

312Starting build for ProjectRef(file:/build/repo/,fetch) (decrel-fetch)... [4/6]

313Compile scalacOptions: -encoding, UTF-8, -language:higherKinds, -language:existentials, -unchecked, -no-indent, -Ykind-projector, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

314[info] compiling 2 Scala sources to /build/repo/fetch/.jvm/target/scala-3.8.0-RC5/classes ...

317[info] done compiling

318Starting build for ProjectRef(file:/build/repo/,ziotest) (decrel-ziotest)... [5/6]

319Compile scalacOptions: -encoding, UTF-8, -language:higherKinds, -language:existentials, -unchecked, -no-indent, -Ykind-projector, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

320[info] compiling 2 Scala sources to /build/repo/ziotest/.jvm/target/scala-3.8.0-RC5/classes ...

323[info] done compiling

324[info] compiling 1 Scala source to /build/repo/ziotest/.jvm/target/scala-3.8.0-RC5/test-classes ...

327[info] done compiling

328+ proof - zio.test.Gen

329 + Simple relation

330 + Composing with >>:

331 + Composing with &

332 + Composing with <>:

333 + Complex relations

3345 tests passed. 0 tests failed. 0 tests ignored.

336Executed in 1 s 681 ms

339************************

340Build summary:

341[{

342 "module": "decrel-cats",

343 "compile": {"status": "ok", "tookMs": 10196, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

348 "metadata": {

349 "crossScalaVersions": ["2.13.16", "3.3.5"]

350}

351},{

352 "module": "decrel-zquery",

353 "compile": {"status": "ok", "tookMs": 1964, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

356 "test": {"status": "ok", "tookMs": 1520, "passed": 16, "failed": 0, "ignored": 0, "skipped": 0, "total": 16, "byFramework": [{"framework": "unknown", "stats": {"passed": 16, "failed": 0, "ignored": 0, "skipped": 0, "total": 16}}]},

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

358 "metadata": {

359 "crossScalaVersions": ["2.13.16", "3.3.5"]

360}

361},{

362 "module": "decrel-core",

363 "compile": {"status": "ok", "tookMs": 118, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

366 "test": {"status": "ok", "tookMs": 1118, "passed": 24, "failed": 0, "ignored": 0, "skipped": 0, "total": 24, "byFramework": [{"framework": "unknown", "stats": {"passed": 24, "failed": 0, "ignored": 0, "skipped": 0, "total": 24}}]},

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

368 "metadata": {

369 "crossScalaVersions": ["2.13.16", "3.3.5"]

370}

371},{

372 "module": "decrel-scalacheck",

373 "compile": {"status": "ok", "tookMs": 776, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

376 "test": {"status": "ok", "tookMs": 474, "passed": 5, "failed": 0, "ignored": 0, "skipped": 0, "total": 5, "byFramework": [{"framework": "unknown", "stats": {"passed": 5, "failed": 0, "ignored": 0, "skipped": 0, "total": 5}}]},

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

378 "metadata": {

379 "crossScalaVersions": ["2.13.16", "3.3.5"]

380}

381},{

382 "module": "decrel-fetch",

383 "compile": {"status": "ok", "tookMs": 2060, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

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

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

388 "metadata": {

389 "crossScalaVersions": ["2.13.16", "3.3.5"]

390}

391},{

392 "module": "decrel-ziotest",

393 "compile": {"status": "ok", "tookMs": 670, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

396 "test": {"status": "ok", "tookMs": 2315, "passed": 5, "failed": 0, "ignored": 0, "skipped": 0, "total": 5, "byFramework": [{"framework": "unknown", "stats": {"passed": 5, "failed": 0, "ignored": 0, "skipped": 0, "total": 5}}]},

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

398 "metadata": {

399 "crossScalaVersions": ["2.13.16", "3.3.5"]

400}

401}]

402************************

403[success] Total time: 35 s, completed Dec 31, 2025, 9:27:02 PM

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

405Checking patch project/build.properties...

406Checking patch build.sbt...

407Applied patch project/plugins.sbt cleanly.

408Applied patch project/build.properties cleanly.

409Applied patch build.sbt cleanly.