Branch: refs/heads/master
Home:
https://github.com/typetools/checker-framework
Commit: bdba75df906d6569fd4322c20e56303e75ccf066
https://github.com/typetools/checker-framework/commit/bdba75df906d6569fd4322c20e56303e75ccf066
Author: Michael Ernst <
mer...@cs.washington.edu>
Date: 2025-11-11 (Tue, 11 Nov 2025)
Changed paths:
A .markdownlint-cli2.yaml
M Makefile
M annotation-file-utilities/src/test/resources/annotations-expected/tests/classfile/cases/README.md
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/README.md
M annotation-file-utilities/src/test/resources/annotations/tests/executable/README.md
M annotation-file-utilities/src/test/resources/org/checkerframework/afu/scenelib/test/classfile/README.md
M annotation-file-utilities/tests/abbreviated/README.md
M annotation-file-utilities/tests/enum-imports/README.md
M checker/bin-devel/Dockerfile-README
A checker/bin-devel/Dockerfile-contents-apt-clean.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
R checker/bin-devel/Dockerfile-ubuntu-jdk24
R checker/bin-devel/Dockerfile-ubuntu-jdk24-plus
R checker/bin-devel/Dockerfile-ubuntu-jdk24-plus.m4
R checker/bin-devel/Dockerfile-ubuntu-jdk24.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-jdkplus
M checker/bin-devel/Dockerfile-ubunturolling-jdkplus
M checker/bin-devel/Makefile
M checker/src/test/java/org/checkerframework/checker/test/junit/ainferrunners/README.md
M checker/tests/ainfer-testchecker/input-annotation-files/README.md
M checker/tests/ainfer-testchecker/non-annotated/README.md
M checker/tests/calledmethods-disableframeworks/README.md
M checker/tests/wpi-many/README.md
M docs/CHANGELOG.md
R docs/developer/mutable-index-checking-advanced.adoc
A docs/developer/mutable-index-checking-advanced.md
R docs/developer/mutable-index-checking-project.adoc
A docs/developer/mutable-index-checking-project.md
M docs/developer/new-contributor-projects.html
M docs/manual/README.md
M framework/tests/README.md
M framework/tests/framework/README.md
M javacutil/src/main/java/org/checkerframework/javacutil/javacparse/README.md
Log Message:
-----------
Convert AsciiDoc files to Markdown, improve Markdown style throughout
To unsubscribe from these emails, change your notification settings at
https://github.com/typetools/checker-framework/settings/notifications