Skip to content

Switch the default strictness to STRICT#2742

Merged
christophfroehlich merged 4 commits intomasterfrom
default/STRICT/strictness
Oct 27, 2025
Merged

Switch the default strictness to STRICT#2742
christophfroehlich merged 4 commits intomasterfrom
default/STRICT/strictness

Commits

Commits on Oct 25, 2025