Deploy static content to Pages

Drop html, the tex to html will most likely not work properly. #24

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_pdf	1m 25s
build_html	1m 36s
deploy	14s
	3m 15s