Deploy Main to Netlify

Merge remote-tracking branch 'public/develop' into develop #970

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-pdfs / build	7m 10s
build-pages / build	25m 18s
deploy-to-netlify / deploy	5m 52s
report-results	5s
	38m 25s