Skip to content

fix: report special opt rule as warning instead of error#4319

Draft
ilbertt wants to merge 4 commits intomasterfrom
luca/fix-special-opt-warning
Draft

fix: report special opt rule as warning instead of error#4319
ilbertt wants to merge 4 commits intomasterfrom
luca/fix-special-opt-warning

Commits

Commits on Jul 14, 2025