[typetools/checker-framework] ce0b1a: Make `clean` do work

0 views

Skip to first unread message

Michael Ernst

unread,

Jul 23, 2026, 5:43:12 PM (3 days ago) Jul 23

to checker-fr...@googlegroups.com

Branch: refs/heads/linting
Home: https://github.com/typetools/checker-framework
Commit: ce0b1a0d750ec08645c28ed819de44bfe8de9268
https://github.com/typetools/checker-framework/commit/ce0b1a0d750ec08645c28ed819de44bfe8de9268
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-07-23 (Thu, 23 Jul 2026)

Changed paths:
M annotation-file-utilities/src/test/resources/annotations-expected/tests/classfile/cases/Makefile
M annotation-file-utilities/tests/system-test/Makefile
M checker/tests/command-line/Makefile
M checker/tests/command-line/issue618/Makefile
M checker/tests/nullness-extra/multiple-errors/Makefile
M checker/tests/nullness-extra/package-anno/Makefile
M checkmake.ini
M docs/examples/Makefile
M docs/examples/lombok/Makefile
M framework/tests/annotationclassloader/Makefile

Log Message:
-----------
Make `clean` do work

Commit: 14d59fb92874e45315361799a31ecf26515b66d6
https://github.com/typetools/checker-framework/commit/14d59fb92874e45315361799a31ecf26515b66d6
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-07-23 (Thu, 23 Jul 2026)

Changed paths:
M annotation-file-utilities/bin/extract-annotations.bat
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestClassEmpty.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestClassNonEmpty.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestFieldGeneric.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestFieldSimple.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestLocalVariable.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestLocalVariableA.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestLocalVariableGenericArray.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestMethodReturnTypeGenericArray.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestObjectCreation.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestObjectCreationGenericArray.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestTypeTest.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestTypecastGenericArray.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/package-info.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/executable/example-output.jaif.goal
M annotation-file-utilities/src/test/resources/org/checkerframework/afu/scenelib/test/classfile/test2.jaif
M annotation-file-utilities/tests/Abbreviation.jaif
M annotation-file-utilities/tests/ArrayLiteral.jaif
M annotation-file-utilities/tests/ArrayReturnTypeSimple.jaif
M annotation-file-utilities/tests/BoundClassMultiple.jaif
M annotation-file-utilities/tests/BoundClassSimple.jaif
M annotation-file-utilities/tests/BoundMethodMultiple.jaif
M annotation-file-utilities/tests/BoundMethodSimple.jaif
M annotation-file-utilities/tests/BoundZero.jaif
M annotation-file-utilities/tests/ComplexLocationOne.jaif
M annotation-file-utilities/tests/ConstructorParam.jaif
M annotation-file-utilities/tests/ConstructorParamMultiple.jaif
M annotation-file-utilities/tests/ConstructorReceivers.jaif
M annotation-file-utilities/tests/Date.jaif
M annotation-file-utilities/tests/DeclarationAnnotation.jaif
M annotation-file-utilities/tests/ExtImpl.jaif
M annotation-file-utilities/tests/FieldGenericArray.jaif
M annotation-file-utilities/tests/FieldMultiple.jaif
M annotation-file-utilities/tests/FieldSimple.jaif
M annotation-file-utilities/tests/FieldSimpleArray.jaif
M annotation-file-utilities/tests/FieldSimpleGeneric.jaif
M annotation-file-utilities/tests/GenericAnnoBound.jaif
M annotation-file-utilities/tests/GenericArg.jaif
M annotation-file-utilities/tests/GenericCell.jaif
M annotation-file-utilities/tests/ImplicitUpper.jaif
M annotation-file-utilities/tests/Initializers.jaif
M annotation-file-utilities/tests/InnerClassAnonymous.jaif
M annotation-file-utilities/tests/InnerClassSimple.jaif
M annotation-file-utilities/tests/InnerTypeResolution.jaif
M annotation-file-utilities/tests/InstanceOfMultiple.jaif
M annotation-file-utilities/tests/InstanceOfSimple.jaif
M annotation-file-utilities/tests/IntCell.jaif
M annotation-file-utilities/tests/LambdaExpression.jaif
M annotation-file-utilities/tests/LocalArray.jaif
M annotation-file-utilities/tests/LocalGeneric.jaif
M annotation-file-utilities/tests/LocalGenericShadow.jaif
M annotation-file-utilities/tests/LocalMultiple.jaif
M annotation-file-utilities/tests/LocalMultipleManyMethods.jaif
M annotation-file-utilities/tests/LocalSimple.jaif
M annotation-file-utilities/tests/LocalSimpleMultiple.jaif
M annotation-file-utilities/tests/MemberReference.jaif
M annotation-file-utilities/tests/MethodLocalClass.jaif
M annotation-file-utilities/tests/MethodMultiple.jaif
M annotation-file-utilities/tests/NewArray.jaif
M annotation-file-utilities/tests/NewGeneric.jaif
M annotation-file-utilities/tests/NewMultiple.jaif
M annotation-file-utilities/tests/NewSimple.jaif
M annotation-file-utilities/tests/NonClass.jaif
M annotation-file-utilities/tests/ReceiverWithThrows.jaif
M annotation-file-utilities/tests/Receivers.jaif
M annotation-file-utilities/tests/StringEscape.jaif
M annotation-file-utilities/tests/TypeCastGeneric.jaif
M annotation-file-utilities/tests/TypeCastMultiple.jaif
M annotation-file-utilities/tests/TypeCastSimple.jaif
M annotation-file-utilities/tests/Varargs.jaif
M annotation-file-utilities/tests/abbreviated/C.jaif
M annotation-file-utilities/tests/ad-hoc/bridge/Makefile
M annotation-file-utilities/tests/ad-hoc/bridge/README
M annotation-file-utilities/tests/converted/ASTInsert.jaif
M annotation-file-utilities/tests/converted/AnonInner.jaif
M annotation-file-utilities/tests/converted/ArrayMultiDim.jaif
M annotation-file-utilities/tests/converted/ArrayParamSimple.jaif
M annotation-file-utilities/tests/converted/ArrayReturnTypeSimple.jaif
M annotation-file-utilities/tests/converted/BoundClassMultiple.jaif
M annotation-file-utilities/tests/converted/BoundClassSimple.jaif
M annotation-file-utilities/tests/converted/BoundMethodMultiple.jaif
M annotation-file-utilities/tests/converted/BoundMethodSimple.jaif
M annotation-file-utilities/tests/converted/CastInsert.jaif
M annotation-file-utilities/tests/converted/ClassAnnotationParameter.jaif
M annotation-file-utilities/tests/converted/ClassListAnnotationParameter.jaif
M annotation-file-utilities/tests/converted/ClassSimple.jaif
M annotation-file-utilities/tests/converted/ComplexLocationOne.jaif
M annotation-file-utilities/tests/converted/ComplexLocationTwo.jaif
M annotation-file-utilities/tests/converted/ConstructorParam.jaif
M annotation-file-utilities/tests/converted/ConstructorParamMultiple.jaif
M annotation-file-utilities/tests/converted/ConstructorReceivers.jaif
M annotation-file-utilities/tests/converted/ConstructorReturn.jaif
M annotation-file-utilities/tests/converted/DeclarationAnnotation.jaif
M annotation-file-utilities/tests/converted/DuplicateAnnotation.jaif
M annotation-file-utilities/tests/converted/EnumAnnotationParameter.jaif
M annotation-file-utilities/tests/converted/EnumListAnnotationParameter.jaif
M annotation-file-utilities/tests/converted/ExtImpl.jaif
M annotation-file-utilities/tests/converted/FieldGenericArray.jaif
M annotation-file-utilities/tests/converted/FieldMultiple.jaif
M annotation-file-utilities/tests/converted/FieldSimple.jaif
M annotation-file-utilities/tests/converted/FieldSimpleArray.jaif
M annotation-file-utilities/tests/converted/FieldSimpleGeneric.jaif
M annotation-file-utilities/tests/converted/GenericAnnoBound.jaif
M annotation-file-utilities/tests/converted/GenericArg.jaif
M annotation-file-utilities/tests/converted/GenericCell.jaif
M annotation-file-utilities/tests/converted/GenericCellDoubled.jaif
M annotation-file-utilities/tests/converted/GenericMultiLevel.jaif
M annotation-file-utilities/tests/converted/ImplicitUpper.jaif
M annotation-file-utilities/tests/converted/Initializers.jaif
M annotation-file-utilities/tests/converted/InnerClass.jaif
M annotation-file-utilities/tests/converted/InnerClassAnonymous.jaif
M annotation-file-utilities/tests/converted/InnerClassSimple.jaif
M annotation-file-utilities/tests/converted/InnerReceivers.jaif
M annotation-file-utilities/tests/converted/InnerTypeResolution.jaif
M annotation-file-utilities/tests/converted/InstanceOfMultiple.jaif
M annotation-file-utilities/tests/converted/InstanceOfSimple.jaif
M annotation-file-utilities/tests/converted/IntCell.jaif
M annotation-file-utilities/tests/converted/LocalArray.jaif
M annotation-file-utilities/tests/converted/LocalClass.jaif
M annotation-file-utilities/tests/converted/LocalGeneric.jaif
M annotation-file-utilities/tests/converted/LocalGenericShadow.jaif
M annotation-file-utilities/tests/converted/LocalMultiple.jaif
M annotation-file-utilities/tests/converted/LocalMultipleManyMethods.jaif
M annotation-file-utilities/tests/converted/LocalMultipleManyMethodsShifted.jaif
M annotation-file-utilities/tests/converted/LocalSimple.jaif
M annotation-file-utilities/tests/converted/LocalSimpleMultiple.jaif
M annotation-file-utilities/tests/converted/MatchReturnValue.jaif
M annotation-file-utilities/tests/converted/MemberSelectTypes.jaif
M annotation-file-utilities/tests/converted/MethodCompoundType.jaif
M annotation-file-utilities/tests/converted/MethodMultiple.jaif
M annotation-file-utilities/tests/converted/NewArray.jaif
M annotation-file-utilities/tests/converted/NewGeneric.jaif
M annotation-file-utilities/tests/converted/NewInAnnotatedVariable.jaif
M annotation-file-utilities/tests/converted/NewMultiple.jaif
M annotation-file-utilities/tests/converted/NewPackage.jaif
M annotation-file-utilities/tests/converted/NewSimple.jaif
M annotation-file-utilities/tests/converted/NonClass.jaif
M annotation-file-utilities/tests/converted/NonStandardSpacing.jaif
M annotation-file-utilities/tests/converted/Package.jaif
M annotation-file-utilities/tests/converted/ParseType.jaif
M annotation-file-utilities/tests/converted/ReceiverWithThrows.jaif
M annotation-file-utilities/tests/converted/Receivers.jaif
M annotation-file-utilities/tests/converted/TypeCastGeneric.jaif
M annotation-file-utilities/tests/converted/TypeCastMultiple.jaif
M annotation-file-utilities/tests/converted/TypeCastSimple.jaif
M annotation-file-utilities/tests/converted/TypeParamMethod.jaif
M annotation-file-utilities/tests/converted/Varargs.jaif
M annotation-file-utilities/tests/converted/WildcardAnnoBound.jaif
M annotation-file-utilities/tests/source-extension/FieldNew.jaif
M annotation-file-utilities/tests/source-extension/LocalVariables.jaif
M annotation-file-utilities/tests/source-extension/MethodNew.jaif
M annotation-file-utilities/tests/source-extension/SameName.jaif
M annotation-file-utilities/tests/source-extension/TypeCastMultiple.jaif
M annotation-file-utilities/tests/system-test/expected-annos-better-UNUSED.jaif
M annotation-file-utilities/tests/system-test/expected-annos.jaif
M checker/bin-devel/Dockerfile-ubuntu-jdk17
M checker/bin-devel/Dockerfile-ubuntu-jdk17-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk21
M checker/bin-devel/Dockerfile-ubuntu-jdk21-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk25
M checker/bin-devel/Dockerfile-ubuntu-jdk25-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk26
M checker/bin-devel/Dockerfile-ubuntu-jdk26-plus
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/build.gradle
M docs/annotation-file-utilities/figures/corresp.dot
M docs/annotation-file-utilities/figures/dataflow.dot
M docs/developer/new-contributor-projects.html-old
M framework-test/tests-alt/README

Log Message:
-----------
Remove blank lines at end of file

Commit: efffea15641aebe6fb29b7425afda4e78ab81140
https://github.com/typetools/checker-framework/commit/efffea15641aebe6fb29b7425afda4e78ab81140
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-07-23 (Thu, 23 Jul 2026)

Changed paths:
M annotation-file-utilities/tests/system-test/expected-annos.jaif
M prek.toml

Log Message:
-----------
Reinstate blank line

Commit: 1fb8fdbd7721b306fb9a169952e69b0184d5d588
https://github.com/typetools/checker-framework/commit/1fb8fdbd7721b306fb9a169952e69b0184d5d588
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-07-23 (Thu, 23 Jul 2026)

Changed paths:
M annotation-file-utilities/src/test/resources/annotations-expected/tests/classfile/cases/Makefile

Log Message:
-----------
Fix `test` target

Commit: a06ed8d4fac2937021873603f1f1dfde21ea59b0
https://github.com/typetools/checker-framework/commit/a06ed8d4fac2937021873603f1f1dfde21ea59b0
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-07-23 (Thu, 23 Jul 2026)

Changed paths:
R .github/workflows/prek.yaml
A .github/workflows/prek.yaml-TODO

Log Message:
-----------
Merge ../checker-framework-branch-master into trailing-blank-lines

Commit: 3c1e2e8ef580abbf0e31bcf483b644a29f4f7d33
https://github.com/typetools/checker-framework/commit/3c1e2e8ef580abbf0e31bcf483b644a29f4f7d33
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-07-23 (Thu, 23 Jul 2026)

Changed paths:
M annotation-file-utilities/bin/extract-annotations.bat
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestClassEmpty.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestClassNonEmpty.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestFieldGeneric.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestFieldSimple.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestLocalVariable.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestLocalVariableA.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestLocalVariableGenericArray.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestMethodReturnTypeGenericArray.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestObjectCreation.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestObjectCreationGenericArray.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestTypeTest.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/TestTypecastGenericArray.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/classfile/cases/package-info.jaif
M annotation-file-utilities/src/test/resources/annotations/tests/executable/example-output.jaif.goal
M annotation-file-utilities/src/test/resources/org/checkerframework/afu/scenelib/test/classfile/test2.jaif
M annotation-file-utilities/tests/Abbreviation.jaif
M annotation-file-utilities/tests/ArrayLiteral.jaif
M annotation-file-utilities/tests/ArrayReturnTypeSimple.jaif
M annotation-file-utilities/tests/BoundClassMultiple.jaif
M annotation-file-utilities/tests/BoundClassSimple.jaif
M annotation-file-utilities/tests/BoundMethodMultiple.jaif
M annotation-file-utilities/tests/BoundMethodSimple.jaif
M annotation-file-utilities/tests/BoundZero.jaif
M annotation-file-utilities/tests/ComplexLocationOne.jaif
M annotation-file-utilities/tests/ConstructorParam.jaif
M annotation-file-utilities/tests/ConstructorParamMultiple.jaif
M annotation-file-utilities/tests/ConstructorReceivers.jaif
M annotation-file-utilities/tests/Date.jaif
M annotation-file-utilities/tests/DeclarationAnnotation.jaif
M annotation-file-utilities/tests/ExtImpl.jaif
M annotation-file-utilities/tests/FieldGenericArray.jaif
M annotation-file-utilities/tests/FieldMultiple.jaif
M annotation-file-utilities/tests/FieldSimple.jaif
M annotation-file-utilities/tests/FieldSimpleArray.jaif
M annotation-file-utilities/tests/FieldSimpleGeneric.jaif
M annotation-file-utilities/tests/GenericAnnoBound.jaif
M annotation-file-utilities/tests/GenericArg.jaif
M annotation-file-utilities/tests/GenericCell.jaif
M annotation-file-utilities/tests/ImplicitUpper.jaif
M annotation-file-utilities/tests/Initializers.jaif
M annotation-file-utilities/tests/InnerClassAnonymous.jaif
M annotation-file-utilities/tests/InnerClassSimple.jaif
M annotation-file-utilities/tests/InnerTypeResolution.jaif
M annotation-file-utilities/tests/InstanceOfMultiple.jaif
M annotation-file-utilities/tests/InstanceOfSimple.jaif
M annotation-file-utilities/tests/IntCell.jaif
M annotation-file-utilities/tests/LambdaExpression.jaif
M annotation-file-utilities/tests/LocalArray.jaif
M annotation-file-utilities/tests/LocalGeneric.jaif
M annotation-file-utilities/tests/LocalGenericShadow.jaif
M annotation-file-utilities/tests/LocalMultiple.jaif
M annotation-file-utilities/tests/LocalMultipleManyMethods.jaif
M annotation-file-utilities/tests/LocalSimple.jaif
M annotation-file-utilities/tests/LocalSimpleMultiple.jaif
M annotation-file-utilities/tests/MemberReference.jaif
M annotation-file-utilities/tests/MethodLocalClass.jaif
M annotation-file-utilities/tests/MethodMultiple.jaif
M annotation-file-utilities/tests/NewArray.jaif
M annotation-file-utilities/tests/NewGeneric.jaif
M annotation-file-utilities/tests/NewMultiple.jaif
M annotation-file-utilities/tests/NewSimple.jaif
M annotation-file-utilities/tests/NonClass.jaif
M annotation-file-utilities/tests/ReceiverWithThrows.jaif
M annotation-file-utilities/tests/Receivers.jaif
M annotation-file-utilities/tests/StringEscape.jaif
M annotation-file-utilities/tests/TypeCastGeneric.jaif
M annotation-file-utilities/tests/TypeCastMultiple.jaif
M annotation-file-utilities/tests/TypeCastSimple.jaif
M annotation-file-utilities/tests/Varargs.jaif
M annotation-file-utilities/tests/abbreviated/C.jaif
M annotation-file-utilities/tests/ad-hoc/bridge/README
M annotation-file-utilities/tests/converted/ASTInsert.jaif
M annotation-file-utilities/tests/converted/AnonInner.jaif
M annotation-file-utilities/tests/converted/ArrayMultiDim.jaif
M annotation-file-utilities/tests/converted/ArrayParamSimple.jaif
M annotation-file-utilities/tests/converted/ArrayReturnTypeSimple.jaif
M annotation-file-utilities/tests/converted/BoundClassMultiple.jaif
M annotation-file-utilities/tests/converted/BoundClassSimple.jaif
M annotation-file-utilities/tests/converted/BoundMethodMultiple.jaif
M annotation-file-utilities/tests/converted/BoundMethodSimple.jaif
M annotation-file-utilities/tests/converted/CastInsert.jaif
M annotation-file-utilities/tests/converted/ClassAnnotationParameter.jaif
M annotation-file-utilities/tests/converted/ClassListAnnotationParameter.jaif
M annotation-file-utilities/tests/converted/ClassSimple.jaif
M annotation-file-utilities/tests/converted/ComplexLocationOne.jaif
M annotation-file-utilities/tests/converted/ComplexLocationTwo.jaif
M annotation-file-utilities/tests/converted/ConstructorParam.jaif
M annotation-file-utilities/tests/converted/ConstructorParamMultiple.jaif
M annotation-file-utilities/tests/converted/ConstructorReceivers.jaif
M annotation-file-utilities/tests/converted/ConstructorReturn.jaif
M annotation-file-utilities/tests/converted/DeclarationAnnotation.jaif
M annotation-file-utilities/tests/converted/DuplicateAnnotation.jaif
M annotation-file-utilities/tests/converted/EnumAnnotationParameter.jaif
M annotation-file-utilities/tests/converted/EnumListAnnotationParameter.jaif
M annotation-file-utilities/tests/converted/ExtImpl.jaif
M annotation-file-utilities/tests/converted/FieldGenericArray.jaif
M annotation-file-utilities/tests/converted/FieldMultiple.jaif
M annotation-file-utilities/tests/converted/FieldSimple.jaif
M annotation-file-utilities/tests/converted/FieldSimpleArray.jaif
M annotation-file-utilities/tests/converted/FieldSimpleGeneric.jaif
M annotation-file-utilities/tests/converted/GenericAnnoBound.jaif
M annotation-file-utilities/tests/converted/GenericArg.jaif
M annotation-file-utilities/tests/converted/GenericCell.jaif
M annotation-file-utilities/tests/converted/GenericCellDoubled.jaif
M annotation-file-utilities/tests/converted/GenericMultiLevel.jaif
M annotation-file-utilities/tests/converted/ImplicitUpper.jaif
M annotation-file-utilities/tests/converted/Initializers.jaif
M annotation-file-utilities/tests/converted/InnerClass.jaif
M annotation-file-utilities/tests/converted/InnerClassAnonymous.jaif
M annotation-file-utilities/tests/converted/InnerClassSimple.jaif
M annotation-file-utilities/tests/converted/InnerReceivers.jaif
M annotation-file-utilities/tests/converted/InnerTypeResolution.jaif
M annotation-file-utilities/tests/converted/InstanceOfMultiple.jaif
M annotation-file-utilities/tests/converted/InstanceOfSimple.jaif
M annotation-file-utilities/tests/converted/IntCell.jaif
M annotation-file-utilities/tests/converted/LocalArray.jaif
M annotation-file-utilities/tests/converted/LocalClass.jaif
M annotation-file-utilities/tests/converted/LocalGeneric.jaif
M annotation-file-utilities/tests/converted/LocalGenericShadow.jaif
M annotation-file-utilities/tests/converted/LocalMultiple.jaif
M annotation-file-utilities/tests/converted/LocalMultipleManyMethods.jaif
M annotation-file-utilities/tests/converted/LocalMultipleManyMethodsShifted.jaif
M annotation-file-utilities/tests/converted/LocalSimple.jaif
M annotation-file-utilities/tests/converted/LocalSimpleMultiple.jaif
M annotation-file-utilities/tests/converted/MatchReturnValue.jaif
M annotation-file-utilities/tests/converted/MemberSelectTypes.jaif
M annotation-file-utilities/tests/converted/MethodCompoundType.jaif
M annotation-file-utilities/tests/converted/MethodMultiple.jaif
M annotation-file-utilities/tests/converted/NewArray.jaif
M annotation-file-utilities/tests/converted/NewGeneric.jaif
M annotation-file-utilities/tests/converted/NewInAnnotatedVariable.jaif
M annotation-file-utilities/tests/converted/NewMultiple.jaif
M annotation-file-utilities/tests/converted/NewPackage.jaif
M annotation-file-utilities/tests/converted/NewSimple.jaif
M annotation-file-utilities/tests/converted/NonClass.jaif
M annotation-file-utilities/tests/converted/NonStandardSpacing.jaif
M annotation-file-utilities/tests/converted/Package.jaif
M annotation-file-utilities/tests/converted/ParseType.jaif
M annotation-file-utilities/tests/converted/ReceiverWithThrows.jaif
M annotation-file-utilities/tests/converted/Receivers.jaif
M annotation-file-utilities/tests/converted/TypeCastGeneric.jaif
M annotation-file-utilities/tests/converted/TypeCastMultiple.jaif
M annotation-file-utilities/tests/converted/TypeCastSimple.jaif
M annotation-file-utilities/tests/converted/TypeParamMethod.jaif
M annotation-file-utilities/tests/converted/Varargs.jaif
M annotation-file-utilities/tests/converted/WildcardAnnoBound.jaif
M annotation-file-utilities/tests/source-extension/FieldNew.jaif
M annotation-file-utilities/tests/source-extension/LocalVariables.jaif
M annotation-file-utilities/tests/source-extension/MethodNew.jaif
M annotation-file-utilities/tests/source-extension/SameName.jaif
M annotation-file-utilities/tests/source-extension/TypeCastMultiple.jaif
M annotation-file-utilities/tests/system-test/expected-annos-better-UNUSED.jaif
M checker/bin-devel/Dockerfile-ubuntu-jdk17
M checker/bin-devel/Dockerfile-ubuntu-jdk17-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk21
M checker/bin-devel/Dockerfile-ubuntu-jdk21-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk25
M checker/bin-devel/Dockerfile-ubuntu-jdk25-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk26
M checker/bin-devel/Dockerfile-ubuntu-jdk26-plus
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/build.gradle
M docs/annotation-file-utilities/figures/corresp.dot
M docs/annotation-file-utilities/figures/dataflow.dot
M docs/developer/new-contributor-projects.html-old
M framework-test/tests-alt/README
M prek.toml

Log Message:
-----------
Merge ../checker-framework-fork-mernst-branch-trailing-blank-lines into linting-pre

Commit: bdac7bb4815833f1dbb0b966c63ace473a0f1eab
https://github.com/typetools/checker-framework/commit/bdac7bb4815833f1dbb0b966c63ace473a0f1eab
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-07-23 (Thu, 23 Jul 2026)

Changed paths:
M annotation-file-utilities/tests/system-test/Makefile
M checker/tests/command-line/Makefile
M checker/tests/command-line/issue618/Makefile
M checker/tests/nullness-extra/multiple-errors/Makefile
M checker/tests/nullness-extra/package-anno/Makefile
M docs/examples/Makefile
M docs/examples/lombok/Makefile
M framework/tests/annotationclassloader/Makefile
M prek.toml

Log Message:
-----------
Merge ../checker-framework-fork-mernst-branch-linting-pre into linting

Compare: https://github.com/typetools/checker-framework/compare/7d73fce46a69...bdac7bb48158

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

Reply all

Reply to author

Forward

0 new messages