CI

Merge branch '1.4_maintenance' into 1.5_maintenance #7871

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (linux-gcc11)	43m 14s
build (linux-debug-gcc11)	50m 45s
build (windows)	25m 40s
	1h 59m 39s