[typetools/checker-framework] aa8250: Improve code style, improve installation instructions

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: aa82509fd226855f631f4e7d88e034a8e4b5dcaf
https://github.com/typetools/checker-framework/commit/aa82509fd226855f631f4e7d88e034a8e4b5dcaf
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-12-06 (Sat, 06 Dec 2025)

Changed paths:
M .gitignore
M Makefile
M annotation-file-utilities/build.gradle
M build.gradle
M checker/bin-devel/Dockerfile-contents-ubuntu-base.m4
M checker/bin-devel/Dockerfile-contents-ubuntu-plus.m4
M checker/bin-devel/Dockerfile-ubuntu-jdk11
M checker/bin-devel/Dockerfile-ubuntu-jdk11-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk11-plus.m4
M checker/bin-devel/Dockerfile-ubuntu-jdk11.m4
M checker/bin-devel/Dockerfile-ubuntu-jdk17
M checker/bin-devel/Dockerfile-ubuntu-jdk17-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk17-plus.m4
M checker/bin-devel/Dockerfile-ubuntu-jdk17.m4
M checker/bin-devel/Dockerfile-ubuntu-jdk21
M checker/bin-devel/Dockerfile-ubuntu-jdk21-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk21-plus.m4
M checker/bin-devel/Dockerfile-ubuntu-jdk21.m4
M checker/bin-devel/Dockerfile-ubuntu-jdk25
M checker/bin-devel/Dockerfile-ubuntu-jdk25-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk25-plus.m4
M checker/bin-devel/Dockerfile-ubuntu-jdk25.m4
M checker/bin-devel/Dockerfile-ubuntu-jdkbase
M checker/bin-devel/Dockerfile-ubuntu-jdkplus
M checker/bin-devel/Dockerfile-ubunturolling-jdkbase
M checker/bin-devel/Dockerfile-ubunturolling-jdkplus
M checker/bin-devel/test-misc.sh
M docs/developer/release/release_build.py
M docs/developer/release/release_push.py
M docs/developer/release/release_utils.py
M docs/developer/release/sanity_checks.py
M docs/manual/troubleshooting.tex
M pyproject.toml
M uv.lock

Log Message:
-----------
Improve code style, improve installation instructions



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications