update and build

Don't skip source linting on update/push failure #42154

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update (3.13)	7m 16s
update (3.11)	7m 1s
update (3.15)	7m 43s
update (3.14)	7m 23s
update (3.10)	4m 8s
update (3.12)	7m 40s
build (3.15, html)	5m 32s
build (3.12, html)	3m 32s
build (3.15, latex)	5m 46s
build (3.12, latex)	3m 26s
build (3.14, html)	5m 3s
build (3.15, epub)	5m 8s
build (3.11, latex)	3m 12s
build (3.10, latex)	2m 28s
build (3.12, epub)	3m 29s
build (3.14, epub)	5m 23s
build (3.13, epub)	4m 44s
build (3.14, latex)	5m 50s
build (3.13, latex)	4m 51s
build (3.10, html)	2m 45s
build (3.11, html)	2m 49s
build (3.11, epub)	2m 43s
build (3.10, epub)	2m 54s
build (3.13, html)	4m 55s
output-pdf (3.11)	9m 34s
output-pdf (3.13)	11m 0s
output-pdf (3.15)	9m 40s
output-pdf (3.10)	8m 20s
output-pdf (3.14)	10m 0s
output-pdf (3.12)	8m 45s
	2h 53m 0s