build: fix PR coverage comment formatting #76377
Triggered via pull request
May 29, 2026 08:29
stdlib-bot
labeled
#12346
Status
Success
Total duration
11s
Artifacts
–