Add back accidentally removed documentation #916

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
precommit	35s
build (3.8)	5m 34s
build (3.9)	5m 41s
build (3.10)	5m 43s
build (3.11)	5m 38s
deploy	0s
	23m 11s