Build & deploy docs

Enables set seed for all play scripts (#2997) #4213

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check secrets	2s
Build Docs	32m 23s
Deploy Docs	22s
	32m 47s