Don't output top annotations to .ajava files #6432

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open

mernst wants to merge 10 commits into typetools:master from mernst:ainfer-no-top

Open

Don't output top annotations to .ajava files #6432

Merge ../checker-framework-branch-master into ainfer-no-top

CircleCI Checks / build failed May 3, 2026 in 34m 44s

Workflow: build

View CircleCI Workflow

inference_part2_jdk25 - Failed
inference_part1_jdk25 - Success
typecheck_part2_jdk25 - Success
junit_part1_jdk25 - Success
misc_jdk26 - Success
misc_jdk25 - Success
nonjunit_jdk25 - Success
junit_part2_jdk25 - Success
typecheck_part1_jdk25 - Success
canary_jobs - Skipped
junit_jdk26 - Skipped
misc_jdk17 - Skipped
junit_jdk21 - Skipped
plume_lib_jdk25 - Skipped
guava_jdk25 - Skipped
junit_jdk17 - Skipped
misc_jdk21 - Skipped

View more details on CircleCI Checks