Deploy documentation

ci(pre-commit): remove the deprecated pyright files, and add the `ver… #9

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docs	30s
deploy-docs	9s
	39s