We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f2d5b72 commit 80b6e67Copy full SHA for 80b6e67
TODO.md
@@ -1,9 +1,8 @@
1
-# 1.8.3
+# 1.8.x
2
+ - Replace jsr305 with jspecify
3
4
- Summon preconfigured arbitrary. See https://github.com/jqwik-team/jqwik/issues/527
5
-# 1.8.x
6
-
7
- Using @UseType for sealed interfaces and classes: https://github.com/jqwik-team/jqwik/issues/523
8
Will probably require a new module for java 17
9
dependencies.gradle
@@ -46,7 +46,7 @@ ext {
46
findbugsVersion = '3.0.2'
47
jspecifyVersion = '0.3.0'
48
moduleName = 'net.jqwik'
49
- jqwikVersion = '1.8.3-SNAPSHOT'
+ jqwikVersion = '1.8.3'
50
isSnapshotRelease = isSnapshotRelease(jqwikVersion)
51
showStandardStreams = showStandardStreams()
52
javaTargetVersion = javaTargetVersion()
0 commit comments