Merge pull request #344 from Fomalhauthmj/se_dev #316

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci_skip	4s
build_grad	2m 30s
build_all_without_diff	4m 59s
build_undergrad	4m 28s
diff_pdf	4m 9s
gitee_sync	0s
overleaf_update	0s
	16m 10s