[CLEANUP]: Update PR Comment, with github-script

housepower · Aug 26, 2023 · 0da7329 · 0da7329
1 parent dfe7ca6
commit 0da7329
Showing 1 changed file with 16 additions and 10 deletions.
diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
@@ -44,15 +44,21 @@ jobs:
           retention-days: 30
 
       - name: PR Comment
-        uses: github-actions-up-and-running/[email protected]
-        if: ${{ github.event_name == 'pull_request' }}
+        if: github.event_name == 'pull_request'
+        uses: actions/github-script@v3
         with:
-          repo-token: ${{ secrets.GITHUB_TOKEN }}
-          message: |
-            <details>
-              <summary>BENCHMARK_REPORT</summary>
+          github-token: ${{secrets.GITHUB_TOKEN}}
+          script: |
+            github.issues.createComment({
+              issue_number: context.issue.number,
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              body: |
+                <details>
+                  <summary>BENCHMARK_REPORT</summary>
 
-            ```
-            ${{ env.BENCHMARK_REPORT }}
-            ```
-            </details>
+                  ```
+                  ${{ env.BENCHMARK_REPORT }}
+                  ```
+                </details>
+            })