Make the deferred header flush grace configurable #3332

Job	Run time
build (macos-latest, Release)	13m 58s
build (ubuntu-latest, Debug)	12m 19s
build (windows-latest, Release)	15m 55s
build (windows-latest, Debug)	18m 31s
build (macos-latest, Debug)	13m 55s
build (ubuntu-latest, Release)	12m 42s
publish-coverage / publish-coverage	42s
	1h 28m 2s

Navigation Menu