update and build

update and build #43829

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update (3.11)	7m 50s
update (3.15)	8m 21s
update (3.14)	7m 17s
update (3.13)	8m 52s
update (3.10)	3m 59s
update (3.12)	6m 30s
build	0s
output-pdf	-1s
	42m 48s