CI pipeline

quick fix for broken links #98

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Link checker	41s
Check spelling	1m 7s
Lint web doc	8s
Export PDFs	1m 51s
Deploy web doc	44s
	4m 31s