add comment to PR after benchmark runs

Signed-off-by: Thomas Jungblut <[email protected]>

.github/workflows/benchmark-pr.yaml

@@ -1,6 +1,20 @@
 ---
 name: Benchmarks on AMD64
-permissions: read-all
+permissions:
+  issues: write
+  pull-requests: write
+  # we use "read-all" for the remainder of the scopes
+  actions: read
+  checks: read
+  contents: read
+  deployments: read
+  id-token: read
+  discussions: read
+  packages: read
+  pages: read
+  repository-projects: read
+  security-events: read
+  statuses: read
 on: [pull_request]
 jobs:
   benchmark-pull-request:
@@ -40,3 +54,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
+          })