Build Logs

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

2Clonning https://github.com/philippus/between.git into /build/repo using revision v0.6.0

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

4Note: switching to 'd0e5573390977974e1b1f6b22e856515882ef823'.

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

21----

22Preparing build for 3.8.0-RC2

23Scala binary version found: 3.8

24Implicitly using source version 3.8

25Scala binary version found: 3.8

26Implicitly using source version 3.8

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

28Append: ,REQUIRE:-source:3.8

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

30----

31Starting build for 3.8.0-RC2

32Execute tests: true

33sbt project found:

34Sbt version 1.10.5 is not supported, minimal supported version is 1.11.5

35Enforcing usage of sbt in version 1.11.5

36No prepare script found for project philippus/between

37##################################

38Scala version: 3.8.0-RC2

39Targets: nl.gn0s1s%between

40Project projectConfig: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[]}

41##################################

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

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

44[sbt_options] declare -a sbt_options=()

45[process_args] java_version = '17'

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

47# Executing command line:

48java

49-Dfile.encoding=UTF-8

50-Dcommunitybuild.scala=3.8.0-RC2

51-Dcommunitybuild.project.dependencies.add=

52-Xmx7G

53-Xms4G

54-Xss8M

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

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

57-jar

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

59"setCrossScalaVersions 3.8.0-RC2"

60"++3.8.0-RC2 -v"

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

62"set every credentials := Nil"

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

64"removeScalacOptionsStartingWith -P:wartremover"

66moduleMappings

67"runBuild 3.8.0-RC2 """{"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[]}""" nl.gn0s1s%between"

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

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

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

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

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

74[info] Compilation completed in 8.977s.

75[info] done compiling

76[info] loading settings for project repo from build.sbt, version.sbt...

77[info] set current project to between (in build file:/build/repo/)

78Execute setCrossScalaVersions: 3.8.0-RC2

79OpenCB::Limitting incorrect crossVersions List(2.12.20, 3.3.4) -> List(2.13.15) in repo/crossScalaVersions

80[info] set current project to between (in build file:/build/repo/)

83[0JRetrying build, retry 1/2, force Scala version:true, enable migration:

84Would force Scala version 3.8.0-RC2

85[sbt_options] declare -a sbt_options=()

86[process_args] java_version = '17'

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

88# Executing command line:

89java

90-Dfile.encoding=UTF-8

91-Dcommunitybuild.scala=3.8.0-RC2

92-Dcommunitybuild.project.dependencies.add=

93-Xmx7G

94-Xms4G

95-Xss8M

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

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

98-jar

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

100"setCrossScalaVersions 3.8.0-RC2"

101"++3.8.0-RC2! -v"

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

103"set every credentials := Nil"

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

105"removeScalacOptionsStartingWith -P:wartremover"

107moduleMappings

108"runBuild 3.8.0-RC2 """{"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[]}""" nl.gn0s1s%between"

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

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

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

113[info] loading settings for project repo from build.sbt, version.sbt...

114[info] set current project to between (in build file:/build/repo/)

115Execute setCrossScalaVersions: 3.8.0-RC2

116OpenCB::Limitting incorrect crossVersions List(2.12.20, 3.3.4) -> List(2.13.15) in repo/crossScalaVersions

117[info] set current project to between (in build file:/build/repo/)

118[info] Forcing Scala version to 3.8.0-RC2 on all projects.

119[info] Switching Scala version on:

120[info] * repo (2.13.15)

121[info] Excluding projects:

122[info] Reapplying settings...

123[info] set current project to between (in build file:/build/repo/)

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

125[info] Reapplying settings...

126[info] set current project to between (in build file:/build/repo/)

127[info] Defining Global / credentials, credentials

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

129[info] Run `last` for details.

130[info] Reapplying settings...

131[info] set current project to between (in build file:/build/repo/)

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

133[info] Reapplying settings...

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

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

137 Did you mean allExcludeDependencies ?

138 , retry without global scopes

139[info] Reapplying settings...

140[info] set current project to between (in build file:/build/repo/)

141Execute removeScalacOptionsStartingWith: -P:wartremover

142[info] Reapplying settings...

143[info] set current project to between (in build file:/build/repo/)

144[success] Total time: 0 s, completed Nov 28, 2025, 12:07:31 PM

145Build config: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[]}

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

147Starting build...

148Projects: Set(repo)

149Starting build for ProjectRef(file:/build/repo/,repo) (between)... [0/1]

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

151Compile scalacOptions: -Xsource:3, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

152[info] compiling 2 Scala sources to /build/repo/target/scala-3.8.0-RC2/classes ...

155[info] done compiling

156[info] compiling 4 Scala sources to /build/repo/target/scala-3.8.0-RC2/test-classes ...

159[info] done compiling

160[info] + Axiom.ML1: an interval cannot meet itself: OK, passed 100 tests.

161[info] + Axiom.M5: There is only one time period between any two meeting-places.: OK, passed 100 tests.

162[info] + Axiom.M4: if two meets are separated by intervals, then this sequence is a longer interval: OK, passed 100 tests.

163[info] + Axiom.M2: if period i meets j and period k meets l, then exactly one of the following holds: 1) i meets l; 2) there is an m such that i meets m and m meets l; 3) there is an n such that k meets n and n meets j: OK, passed 100 tests.

164[info] + Axiom.M4.1: i:j implies m:i+j:n: OK, passed 100 tests.

165[info] + Axiom.ML3: there is no period m such that i:m:i,: OK, passed 100 tests.

166[info] + Axiom.M3: time does not start or stop: OK, passed 100 tests.

167[info] + Axiom.ML2: if i meets j then j does not meet i: OK, passed 100 tests.

168[info] + Axiom.M1: if two periods both meet a third, then any period met by one must also be met by the other.: OK, passed 100 tests.

169[info] + Relation.there are thirteen relations defined: OK, proved property.

170[info] + Relation.from the paper - constraints between D and R given path: D - -(d)-> S - -(< m)-> R: OK, proved property.

171[info] + Relation.from the paper - constraints between L and R given path: R <-(< m mi >)- - S - -(o m)-> L : OK, proved property.

172[info] + Relation.from the readme - constraints between W and D given path: W <-(o)- - T - -(>, mi)-> D: OK, proved property.

173[info] + Relation.from the paper - constraints between S and R given path: S - -(o m)-> L - - (o s)-> R: OK, proved property.

174[info] + Relation.from the paper - constraints between D and L given path: D - -(d)-> S - -(o m)-> L: OK, proved property.

175[info] + Relation.the inverse of the inverse of a relation is the relation: OK, passed 100 tests.

176[info] + Interval.after returns the expected value: OK, passed 100 tests.

177[info] + Interval.span returns the expected interval: OK, passed 100 tests.

178[info] + Interval.union returns the expected interval: OK, passed 100 tests.

179[info] + Interval.chop chops an interval into two meeting intervals: OK, passed 100 tests.

180[info] + Interval.clamp returns the expected value: OK, passed 100 tests.

181[info] + Interval.startsAt returns the expected value: OK, passed 100 tests.

182[info] + Interval.span encloses both intervals: OK, passed 100 tests.

183[info] + Interval.contains returns the expected value: OK, passed 100 tests.

184[info] + Interval.gap returns the expected Interval: OK, passed 100 tests.

185[info] + Interval.minus returns the expected interval: OK, passed 100 tests.

186[info] + Interval.with+ returns the expected interval: OK, passed 100 tests.

187[info] + Interval.Interval[Double] if a relation is true then the converse is also true: OK, passed 100 tests.

188[info] + Interval.intersection returns the expected interval: OK, passed 100 tests.

189[info] + Interval.abuts returns the expected value: OK, passed 100 tests.

190[info] + Interval.endsAt returns the expected value: OK, passed 100 tests.

191[info] + Interval.Interval[Instant] if a relation is true then the converse is also true: OK, passed 100 tests.

192[info] + Interval.Interval[Instant] has always only one unique relation between intervals: OK, passed 100 tests.

193[info] + Interval.with- returns the expected interval: OK, passed 100 tests.

194[info] + Interval.before returns the expected value: OK, passed 100 tests.

195[info] + Interval.Interval[Double] has always only one unique relation between intervals: OK, passed 100 tests.

196[info] + Transitivity Table.contains 6x m: OK, proved property.

197[info] + Transitivity Table.contains 7x o, fi, di: OK, proved property.

198[info] + Interval.all relations and their inverses are available: OK, passed 100 tests.

199[info] + Transitivity Table.contains 5x o: OK, proved property.

200[info] + Transitivity Table.contains 6x <, m, o, fi, di: OK, proved property.

201[info] + Transitivity Table.contains 3x s, ==, si: OK, proved property.

202[info] + Transitivity Table.contains 3x s: OK, proved property.

203[info] + Transitivity Table.contains 22x >: OK, proved property.

204[info] + Transitivity Table.contains 7x o, s, d: OK, proved property.

205[info] + Transitivity Table.contains 7x oi, si, di: OK, proved property.

206[info] + Transitivity Table.contains 6x d, f, oi, mi, >: OK, proved property.

207[info] + Transitivity Table.contains 3x f: OK, proved property.

208[info] + Transitivity Table.contains 6x mi: OK, proved property.

209[info] + Transitivity Table.totals 13x13 entries: OK, proved property.

210[info] + Transitivity Table.contains 4x oi, mi, >: OK, proved property.

211[info] + Transitivity Table.contains 3x full: OK, proved property.

212[info] + Transitivity Table.contains 3x fi, ==, f: OK, proved property.

213[info] + Transitivity Table.contains 6x di, si, oi, mi, >: OK, proved property.

214[info] + Transitivity Table.contains 1x ==: OK, proved property.

215[info] + Transitivity Table.contains 3x concur: OK, proved property.

216[info] + Transitivity Table.contains 4x <, m, o: OK, proved property.

217[info] + Transitivity Table.contains 22x <: OK, proved property.

218[info] + Transitivity Table.contains 3x si: OK, proved property.

219[info] + Transitivity Table.contains 5x oi: OK, proved property.

220[info] + Transitivity Table.contains 3x fi: OK, proved property.

221[info] + Transitivity Table.contains 6x <, m, o, s, d: OK, proved property.

222[info] + Transitivity Table.contains 7x d, f, oi: OK, proved property.

224************************

225Build summary:

226[{

227 "module": "between",

228 "compile": {"status": "ok", "tookMs": 9010, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

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

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

231 "test": {"status": "ok", "tookMs": 1146, "passed": 63, "failed": 0, "ignored": 0, "skipped": 0, "total": 63, "byFramework": [{"framework": "unknown", "stats": {"passed": 63, "failed": 0, "ignored": 0, "skipped": 0, "total": 63}}]},

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

233 "metadata": {

234 "crossScalaVersions": ["2.12.20", "3.3.4"]

235}

236}]

237************************

238[success] Total time: 20 s, completed Nov 28, 2025, 12:07:51 PM

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

240Checking patch project/build.properties...

241Checking patch build.sbt...

242Applied patch project/plugins.sbt cleanly.

243Applied patch project/build.properties cleanly.

244Applied patch build.sbt cleanly.