update and build

update and build #43778

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update (3.15)	7m 30s
update (3.10)	5m 5s
update (3.14)	7m 26s
update (3.11)	7m 23s
update (3.12)	2m 44s
update (3.13)	7m 23s
build	0s
output-pdf	-1s
	37m 30s