diff --git a/.github/workflows/benchmark-pr.yaml b/.github/workflows/benchmark-pr.yaml index fb6728d46..b73c46f03 100644 --- a/.github/workflows/benchmark-pr.yaml +++ b/.github/workflows/benchmark-pr.yaml @@ -1,6 +1,8 @@ --- name: Benchmarks on AMD64 -permissions: read-all +permissions: + issues: write + pull-requests: write on: [pull_request] jobs: benchmark-pull-request: @@ -40,3 +42,12 @@ jobs: fi fi done < <(grep geomean result.txt) + - uses: actions/github-script@v7 + with: + script: | + github.rest.issues.createComment({ + issue_number: context.issue.number, + owner: context.repo.owner, + repo: context.repo.repo, + body: process.env.GITHUB_STEP_SUMMARY + })