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

Do not set timestamps if already set #6925

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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