CI pipeline

update actions in workflow pipelines #97

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Link checker	51s
Check spelling	1m 3s
Lint web doc	5s
Export PDFs	1m 53s
Deploy web doc	34s
	4m 26s