Deploy Docs to GitHub Pages

Fix mypy errors in core directory (#6901) #8935

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Docusaurus	4m 49s
Deploy to GitHub Pages	12s
	5m 1s