Repository navigation

Test Build Workflow

tools improvements #164

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-translation (3.14, latex)	2m 42s
build-translation (3.14, html)	3m 45s
build-translation (3.15, latex)	5m 38s
build-translation (3.15, html)	3m 50s
output-pdf (3.15)	1h 1m 20s
output-pdf (3.14)	2h 25m 22s
	3h 42m 37s