CI

Merge branch '1.2_maintenance' into 1.3_maintenance #5733

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (linux)	5m 27s
build (linux-debug)	5m 27s
build (windows)	5m 26s
	16m 20s