Drop unneeded workaround #25990

Job	Run time
PR formatting / pragma-once	7s
PR formatting / clang-format	44s
PR formatting / line endings	26s
PR formatting / whitespace	16s
PR formatting / copyright headers	17s
	1m 50s

Provide feedback