Don't write irrelevant annotations in .ajava files #6254
Azure Pipelines / typetools.checker-framework (typecheck_part2_jdk21)
succeeded
Oct 23, 2023 in 16m 43s
typecheck_part2_jdk21 succeeded
Loading