Deploy Documentation to Github Pages

Fix release (#1373) #442

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	2m 6s
build	5m 2s
build	5m 39s
deploy	0s
deploy	0s
deploy	7s
	12m 54s