Fix version numbers.

smillst · smillst · commit 333b8f3ea95b · 2026-02-04T11:38:08.000-08:00
diff --git a/README.md b/README.md
@@ -10,7 +10,7 @@ Add the following to your `build.gradle` file:
 ```groovy
 plugins {
   // Checker Framework pluggable type-checking
-  id("org.checkerframework").version("1.0.0")
+  id("org.checkerframework").version("1.0.2")
 }
 ```
 
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -8,7 +8,7 @@ plugins {
 
 group = "org.checkerframework"
 
-version = "1.0.2-SNAPSHOT"
+version = "1.0.2"
 
 repositories { mavenCentral() }
 

Original file line number	Diff line number	Diff line change
@@ -10,7 +10,7 @@ Add the following to your `build.gradle` file:
`10`	`10`	```groovy
`11`	`11`	`plugins {`
`12`	`12`	`// Checker Framework pluggable type-checking`
`13`		`- id("org.checkerframework").version("1.0.0")`
	`13`	`+ id("org.checkerframework").version("1.0.2")`
`14`	`14`	`}`
`15`	`15`	```
`16`	`16`