Build documentation

Build documentation #862

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build documentation	1m 23s
Publish to GitHub pages	0s
Upload rendered site	-1s
	1m 22s