Build docs site (& deploy if on master to gh-pages)

This PR contains the following updates: #7028

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
deploy-website	12m 20s
	12m 20s