Repository navigation

Test Build Workflow

_tools/pre-push-check.sh improvements (cleans cache before build the … #145

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-translation (3.15, html)	4m 57s
build-translation (3.14, html)	2m 44s
build-translation (3.14, latex)	2m 40s
build-translation (3.15, latex)	3m 32s
output-pdf (3.15)	57m 43s
output-pdf (3.14)	45m 51s
	1h 57m 27s