Build and Deploy documentation to GitHub Pages

Fix docs GitHub deployment (#202) #57

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Generate docs content	49s
Deploy to GitHub Pages	1m 2s
	1m 51s