add comment to PR after benchmark runs

Signed-off-by: Thomas Jungblut <[email protected]>
etcd-io · Jun 28, 2024 · e03dfd2 · e03dfd2
1 parent cc78a5a
commit e03dfd2
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/benchmark-pr.yaml b/.github/workflows/benchmark-pr.yaml
@@ -40,3 +40,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
+          })