Benchmark comment is a little too verbose.

[timotheeguerin]

[github-actions]

🎯 Issue Triage

A request to reduce the verbosity of the benchmark PR comment posted by CI.

Category: Feature Request
Area: eng

🔍 Analysis

• This is an engineering/infrastructure improvement to make benchmark CI comments less noisy on PRs.
• Affected component: benchmark reporting CI workflow/script.
• No reproduction code needed — this is a UX improvement for the CI pipeline output.

📝 Suggested next steps

• Identify where the benchmark comment is generated (likely in eng/ scripts or a GitHub Actions workflow)
• Determine what information is essential vs. extraneous and trim accordingly

Generated by Agentic Triage