Lint

Bump ty from 0.0.19 to 0.0.20 #1279

Job	Run time
build (3.13, windows-latest, pre-push)	2m 31s
build (3.13, ubuntu-latest, pre-push)	1m 15s
build (3.13, windows-latest, pre-commit)	1m 23s
build (3.13, ubuntu-latest, pre-commit)	42s
build (3.13, windows-latest, manual)	1m 24s
build (3.13, ubuntu-latest, manual)	36s
completion-lint	3s
	7m 54s

Provide feedback