Skip to content

Commit 528be29

Browse files
committed
Use Java 17.
1 parent 51ceeed commit 528be29

2 files changed

Lines changed: 7 additions & 5 deletions

File tree

README.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,8 @@ plugins {
1717
If you are upgrading from plugin version 0.x to 1.x, see the [migration
1818
guide](#migrating-from-0x-to-1x).
1919

20-
The plugin supports Gradle versions 7.3 and above, which requires Java 11 and
21-
above. Although you must compile your project using at least Java 11, the
20+
The plugin supports Gradle versions 7.3 and above, which requires Java 17 and
21+
above. Although you must compile your project using at least Java 17, the
2222
compiled classfiles can be compatible with, and can run on, any version of Java.
2323

2424
## Configuration
@@ -41,14 +41,14 @@ Checker Framework to use.
4141

4242
```toml
4343
[libraries]
44-
checker = "org.checkerframework:checker:3.53.0"
44+
checker = "org.checkerframework:checker:3.53.1"
4545
```
4646

4747
* Alternately, you can edit just one file. Add this to `build.gradle`:
4848

4949
```groovy
5050
checkerFramework {
51-
version = "3.53.0"
51+
version = "3.53.1"
5252
}
5353
```
5454

build.gradle.kts

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ plugins {
88

99
group = "org.checkerframework"
1010

11-
version = "1.0.0"
11+
version = "1.0.1"
1212

1313
repositories { mavenCentral() }
1414

@@ -37,6 +37,8 @@ gradlePlugin {
3737
}
3838
}
3939

40+
kotlin { jvmToolchain(17) }
41+
4042
testing {
4143
suites {
4244
withType<JvmTestSuite>().configureEach {

0 commit comments

Comments
 (0)