update and build

update and build #43851

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update (3.10)	4m 44s
update (3.12)	6m 50s
update (3.14)	7m 57s
update (3.13)	6m 36s
update (3.15)	7m 36s
update (3.11)	6m 59s
build	0s
output-pdf	0s
	40m 42s