update and build

update and build #43592

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update (3.10)	4m 28s
update (3.15)	7m 37s
update (3.11)	7m 39s
update (3.12)	6m 48s
update (3.13)	6m 52s
update (3.14)	7m 46s
build	-1s
output-pdf	0s
	41m 9s