update and build

update and build #43842

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update (3.15)	7m 23s
update (3.12)	6m 12s
update (3.13)	7m 1s
update (3.14)	7m 25s
update (3.11)	7m 18s
update (3.10)	3m 42s
build	0s
output-pdf	0s
	39m 1s