build: fix PR coverage comment formatting #76372
Triggered via pull request
May 29, 2026 08:28
anandkaranubc
anandkaranubc
opened
#12346
Status
Success
Total duration
9s
Artifacts
–