Documentation build and deploy

Batch of smaller fixes and update to version 1.12.1 #171

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-latest-docs	8s
build-tagged-docs	5s
prepare-pages	0s
deploy	0s
	13s