Remove issue comment part

.github/workflows/check_interface_compatibility.yml

@@ -3,9 +3,6 @@ name: Check interface compatibility
 on:
   pull_request:
 
-permissions:
-  pull-requests: write
-
 jobs:
   check-interface-compatibility:
     runs-on: ubuntu-latest
@@ -59,21 +56,6 @@ jobs:
           # and saving it into a file can avoid the need of escaping in github-script.
           echo "$output" > "${{ runner.temp }}"/output.md
 
-      - name: Post GitHub PR comment
-        if: ${{ steps.detect.outputs.change_detected }}
-        uses: actions/github-script@v6
-        with:
-          github-token: ${{secrets.GITHUB_TOKEN}}
-          script: |
-            const fs = require('fs');
-            const output = fs.readFileSync('${{ runner.temp }}/output.md', 'utf8')
-            github.rest.issues.createComment({
-              issue_number: context.issue.number,
-              owner: context.repo.owner,
-              repo: context.repo.repo,
-              body: output
-            })
-
       - name: Show detection output
         if: ${{ steps.detect.outputs.change_detected }}
         run: |