for developers - jspecify/jspecify GitHub Wiki
Editing docs / web site content:
See docs/README.
Editing java files
Run ./gradlew
to build and test, or ./gradlew publishToMavenLocal
to install artifacts to your Local Maven Repository.
As you edit, run ./gradlew :spotlessApply
to reformat the code.
After updating .java files, one way to update the static hosted generated files:
./gradlew javadoc && rsync -a --delete build/docs/javadoc/ docs/static/docs/api
Of course, watch for warnings from the javadoc build.