Lint

Bump ty from 0.0.16 to 0.0.17 #1146

Job	Run time
build (3.13, windows-latest, manual)	1m 9s
build (3.13, windows-latest, pre-push)	2m 14s
build (3.13, ubuntu-latest, pre-push)	1m 44s
build (3.13, ubuntu-latest, pre-commit)	8m 35s
build (3.13, windows-latest, pre-commit)	1m 38s
build (3.13, ubuntu-latest, manual)	1m 5s
completion-lint	2s
	16m 27s

Provide feedback