Revert unrelated change #4501

Job	Run time
make-build (ubuntu-latest)	41s
fast-tests (Debug, ubuntu-latest)	39s
make-build (macOS-latest)	1m 1s
long-running-tests (ubuntu-latest, LongRunning)	37s
fast-tests (Debug, windows-latest)	1m 59s
make-build (macOS-13)	1m 8s
build-and-publish (ubuntu-latest)	1m 16s
fast-tests (Debug, macOS-latest)	51s
build-and-publish (windows-latest)	3m 33s
build-and-publish (macOS-latest)	52s
fast-tests (Debug, macOS-13)	1m 3s
other-tests (ubuntu-latest, Configuration)	32s
long-running-tests (windows-latest, LongRunning)	2m 6s
long-running-tests (macOS-latest, LongRunning)	40s
fast-tests (Release, ubuntu-latest)	32s
other-tests (windows-latest, Configuration)	1m 55s
build-and-publish (macOS-13)	1m 26s
long-running-tests (macOS-13, LongRunning)	48s
fast-tests (Release, windows-latest)	2m 51s
other-tests (macOS-latest, Configuration)	46s
fast-tests (Release, macOS-latest)	54s
other-tests (macOS-13, Configuration)	1m 28s
fast-tests (Release, macOS-13)	1m 37s
perft-tests (ubuntu-latest, Perft)	37s
perft-tests (windows-latest, Perft)	1m 38s
winning-at-chess (ubuntu-latest, WinningAtChess_FixedTime)	32s
perft-tests (macOS-latest, Perft)	44s
	32m 46s

Provide feedback