Fix CI for PR from Fork#493

Open

antoine-le-calloch wants to merge 1 commit into

mainfrom

Commits on Jun 12, 2026

Throughput comments were failing (`403 Resource not accessible by integration`) on PRs opened from forks. GitHub forces the `GITHUB_TOKEN` to be read-only in that case, so the action can't post com…
antoine-le-calloch
committed