diff --git a/TODO.md b/TODO.md index 1fa5ac257..a549e7df6 100644 --- a/TODO.md +++ b/TODO.md @@ -1,9 +1,8 @@ -# 1.8.3 +# 1.8.x + - Replace jsr305 with jspecify - Summon preconfigured arbitrary. See https://github.com/jqwik-team/jqwik/issues/527 -# 1.8.x - - Using @UseType for sealed interfaces and classes: https://github.com/jqwik-team/jqwik/issues/523 Will probably require a new module for java 17 diff --git a/dependencies.gradle b/dependencies.gradle index 702752599..8fbf80761 100644 --- a/dependencies.gradle +++ b/dependencies.gradle @@ -46,7 +46,7 @@ ext { findbugsVersion = '3.0.2' jspecifyVersion = '0.3.0' moduleName = 'net.jqwik' - jqwikVersion = '1.8.3-SNAPSHOT' + jqwikVersion = '1.8.3' isSnapshotRelease = isSnapshotRelease(jqwikVersion) showStandardStreams = showStandardStreams() javaTargetVersion = javaTargetVersion()