update and build

update and build #43837

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update (3.12)	7m 14s
update (3.10)	4m 31s
update (3.14)	8m 13s
update (3.15)	7m 54s
update (3.13)	7m 17s
update (3.11)	7m 58s
build	0s
output-pdf	0s
	43m 7s