build and deploy docs-site to GitHub Pages

build and deploy docs-site to GitHub Pages #8

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docs-site	3s
deploy-docs-site	0s
	3s