Branch: refs/heads/master
Home:
https://github.com/typetools/checker-framework
Commit: e3a6e65bd65eeb92f4063f975a151d109824b063
https://github.com/typetools/checker-framework/commit/e3a6e65bd65eeb92f4063f975a151d109824b063
Author: Michael Ernst <
mer...@cs.washington.edu>
Date: 2023-03-23 (Thu, 23 Mar 2023)
Changed paths:
M build.gradle
M checker/bin-devel/Dockerfile-ubuntu-jdk17
M checker/bin-devel/Dockerfile-ubuntu-jdk17-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk19
M checker/bin-devel/Dockerfile-ubuntu-jdk19-plus
M checker/bin-devel/git.pre-commit
M checker/bin/wpi.sh
M docs/developer/release/Makefile
M docs/developer/release/release_push.py
M docs/developer/release/release_utils.py
M docs/developer/release/release_vars.py
M docs/manual/Makefile
Log Message:
-----------
Use Maven 3.9.1, update Python formatting, use `--stacktrace` when running `./gradlew getPlumeScripts`