update and build

Fix skipping non-default branches for push #42155

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update (3.14)	7m 16s
update (3.13)	6m 34s
update (3.15)	7m 42s
update (3.10)	4m 15s
update (3.11)	7m 30s
update (3.12)	7m 19s
build (3.14, latex)	5m 42s
build (3.13, latex)	4m 47s
build (3.12, epub)	2m 30s
build (3.13, html)	5m 3s
build (3.12, latex)	3m 33s
build (3.11, html)	2m 45s
build (3.12, html)	3m 27s
build (3.15, epub)	5m 40s
build (3.15, latex)	6m 0s
build (3.15, html)	5m 46s
build (3.14, html)	5m 34s
build (3.13, epub)	4m 34s
build (3.14, epub)	5m 23s
build (3.11, epub)	2m 43s
build (3.11, latex)	3m 16s
build (3.10, epub)	2m 52s
build (3.10, html)	3m 1s
build (3.10, latex)	2m 20s
output-pdf (3.15)	11m 35s
output-pdf (3.10)	8m 21s
output-pdf (3.11)	9m 40s
output-pdf (3.14)	9m 51s
output-pdf (3.13)	8m 45s
output-pdf (3.12)	9m 58s
	2h 53m 42s