Build and deploy documentation to Pages

Merge pull request #37 from mjdemedeiros/LaplaceOpt #25

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build SampCert Docs	24s
Build SampCert Docs	4m 10s
deploy	0s
deploy	0s
	4m 34s