Please consider the following formatting changes to #5448 #12

Job	Run time
PR formatting / copyright headers	8s
PR formatting / whitespace	11s
PR formatting / line endings	17s
PR formatting / clang-format	18s
PR formatting / pragma-once	7s
	1m 1s

Provide feedback