Update develop to incorporate the changes to main from release 1.3.0. #1746

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.10)	3m 23s
build (3.11)	3m 33s
build (3.12)	3m 47s
build (3.13)	3m 52s
finish	4s
	14m 39s