tweaks for new option #5463

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
MacOS	52m 54s
MacOS	52m 54s
Windows (check)	1h 7m 49s
Windows (check)	1h 7m 49s
Windows (installer)	9m 44s
Windows (installer)	31m 41s
Linux (gcc, debian:stable)	52m 29s
Linux (gcc, debian:stable)	52m 29s
Linux (gcc, debian:testing)	38m 10s
Linux (gcc, debian:testing)	38m 10s
Linux (clang, debian:stable)	42m 33s
Linux (clang, debian:stable)	42m 33s
Linux (clang, debian:testing)	43m 0s
Linux (clang, debian:testing)	43m 0s
	10h 35m 15s