Lint

chore(deps-dev): Bump ruff from 0.15.12 to 0.15.13 #1758

Job	Run time
build (3.13, windows-latest, pre-push)	2m 5s
build (3.13, ubuntu-latest, pre-commit)	33s
build (3.13, ubuntu-latest, manual)	4m 3s
build (3.13, windows-latest, pre-commit)	1m 46s
build (3.13, ubuntu-latest, pre-push)	1m 3s
build (3.13, windows-latest, manual)	1m 22s
completion-lint	4s
	10m 56s

Provide feedback