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

This PR contains the following updates: #6938

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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