Repository navigation
Collapse the purity.not.* message-key variants into purity.* - #8242
Merged
Merged
CircleCI Checks / build
succeeded
Sep 23, 2026 in 5h 23m 12s
Workflow: build
- ci_info - Success
- junit_part2_jdk25 - Success
- junit_part1_jdk25 - Success
- inference_part2_jdk25 - Success
- misc_jdk27 - Success
- inference_part1_jdk25 - Success
- typecheck_part1_jdk25 - Success
- nonjunit_jdk25 - Success
- typecheck_part2_jdk25 - Success
- misc_jdk25 - Success
- canary_jobs - Success
- junit_jdk21 - Success
- plume_lib_jdk25 - Success
- junit_jdk17 - Success
- daikon_part2_jdk25 - Success
- daikon_part1_jdk25 - Success
- daikon_part3_jdk25 - Success
- nonjunit_jdk21 - Success
- junit_jdk27 - Success
- guava_part2_jdk25 - Success
- guava_part1_jdk25 - Success
- misc_jdk21 - Success
- all_green - Success
Loading