Change how a user disables the Checker Framework - #5

Merged

mernst merged 24 commits into

wpifrom

Jan 14, 2026

Commits on Jan 6, 2026

Change how a user disables the Checker Framework
mernst
committed
98c441a
Set version number explicitly, normalize indentation
mernst
committed
8e3c35a

Commits on Jan 8, 2026

Merge branch 'wpi' into version-number
smillst
committed
b009a46
Typo.
smillst
committed
cf5dd48
Coderabbit.
smillst
committed
c4a5ac7
Change readme.
smillst
committed
112d967
Fix.
smillst
committed
085776b
Merge branch 'wpi' into version-number
smillst
committed
6874505
Implement.
smillst
committed
3b27cdc

Commits on Jan 13, 2026

Update tests.
smillst
committed
3cc77ce
Tweaks.
smillst
committed
a09f9b5
Explain alternatives
mernst
committed
d592923
Overriding
mernst
committed
5c82ec6
Add emphasis
mernst
committed
b267bc8
Be more explicit
mernst
committed
4bf63e3
Rename variable
mernst
committed
77af4d2
Code review.
smillst
committed
2a64f78
Merge branch 'wpi' into version-number
smillst
committed
4cddb79
Run on all branches and pull requests.
smillst
committed
211169d
Merge branch 'main' into version-number
smillst
committed
1871348
Coderabbit.
smillst
committed
046e957

Commits on Jan 14, 2026

Update version number
mernst
committed
0a38bae
Formatting
mernst
committed
17b8806
Code review improvements
mernst
committed
9f25e87