Main

Several CLI tool changes #22

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
tests-and-type-check (3.12)	13s
tests-and-type-check (3.11)	11s
tests-and-type-check (3.10)	15s
quality	17s
check-docs	14s
tests-and-type-check (3.13)	13s
deploy-docs	14s
	1m 37s