Please consider the following formatting changes to #12473 #8

Job	Run time
PR formatting / clang-format	21s
PR formatting / line endings	1m 30s
PR formatting / copyright headers	8s
PR formatting / whitespace	9s
PR formatting / pragma-once	6s
	2m 14s

Provide feedback