build: fix PR coverage comment formatting #30526

Job	Run time
Check for already resolved label	0s
Check for stale label	0s
Check for spam label	0s
Check for project conventions label	0s
Check for contributor guidelines label	0s
Check for EditorConfig label	0s
Check for Git History label	-6s
	-6s

Provide feedback