Skip to content

chore: change message of `unusedVariables` linter

08d5b0e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat: improve message of unusedVariables linter #13715

chore: change message of `unusedVariables` linter
08d5b0e
Select commit
Loading
Failed to load commit list.
check-awaiting-mathlib
succeeded May 12, 2026 in 4s