minor changes #3361

Job	Run time
Ubuntu / Release / gcc	19m 2s
macOS / Release / homebrew-clang	11m 38s
Ubuntu / Debug / gcc	18m 13s
macOS / Debug / homebrew-clang	5m 15s
Ubuntu / Release / clang	17m 41s
macOS / Release / system-clang	8m 9s
Ubuntu / Debug / clang	12m 56s
Windows / Release / cl	30m 48s
macOS / Debug / system-clang	5m 17s
Windows / Release / clang	33m 44s
Windows / Release / clang-cl	24m 59s
Windows / Debug / cl	26m 6s
Windows / Debug / clang	29m 31s
Windows / Debug / clang-cl	15m 46s
	4h 19m 5s

Provide feedback