chore: upgrade tools (#26220)

This commit is contained in:
andig 2025-12-28 11:06:45 +01:00 • committed by GitHub
parent b18c36c0c0
commit 8d71350768
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
9 changed files with 16 additions and 22 deletions

View file

@ -21,6 +21,9 @@ linters:
- wastedassign
- whitespace
settings:
modernize:
disable:
- stringsbuilder
staticcheck:
checks:
- -SA1019