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

This PR contains the following updates: #6924

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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