update and build

Split linting jobs into a separate workflow file #42138

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update (3.15)	7m 46s
update (3.12)	7m 19s
update (3.14)	6m 40s
update (3.13)	6m 49s
update (3.11)	7m 12s
update (3.10)	4m 12s
build (3.15, epub)	5m 26s
build (3.15, html)	5m 47s
build (3.15, latex)	5m 55s
build (3.14, epub)	5m 28s
build (3.14, latex)	5m 29s
build (3.13, epub)	4m 38s
build (3.12, latex)	3m 25s
build (3.12, epub)	3m 9s
build (3.11, epub)	2m 46s
build (3.12, html)	3m 32s
build (3.10, latex)	2m 46s
build (3.10, epub)	2m 38s
build (3.11, html)	2m 49s
build (3.13, html)	4m 45s
build (3.13, latex)	4m 44s
build (3.11, latex)	3m 1s
build (3.10, html)	2m 49s
build (3.14, html)	4m 31s
output-pdf	0s
	1h 53m 36s