Build and deploy documentation to Pages

Merge pull request #14 from mjdemedeiros/doc-gen4-pages #14

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build SampCert Docs	1h 14m 45s
deploy	21s
	1h 15m 6s