From 5b07fab41d178e4d9beb26e4f48ab56333e547b9 Mon Sep 17 00:00:00 2001 From: Venkat Malladi Date: Mon, 10 Feb 2025 13:41:49 -0600 Subject: [PATCH] Delete diff comment now in ci.yml. --- .github/workflows/diff_comment.yml | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100644 .github/workflows/diff_comment.yml diff --git a/.github/workflows/diff_comment.yml b/.github/workflows/diff_comment.yml deleted file mode 100644 index 6077283..0000000 --- a/.github/workflows/diff_comment.yml +++ /dev/null @@ -1,30 +0,0 @@ -name: OpenAPI diff comment -on: - workflow_run: - workflows: ["Lint and validate OpenAPI specs"] - types: [completed] -jobs: - comment: - runs-on: ubuntu-latest - permissions: - issues: write - steps: - - name: Download diff - uses: actions/download-artifact@v4 - with: - name: diff-artifacts - path: diff-artifacts/ - run-id: ${{ github.event.workflow_run.id }} - github-token: ${{ secrets.GITHUB_TOKEN }} - - name: Create PR comment - uses: actions/github-script@v7 - with: - script: | - const diff = require('fs').readFileSync('diff-artifacts/diff.md', 'utf8'); - const pr_number = require('fs').readFileSync('diff-artifacts/pr_number', 'utf8').trim(); - github.rest.issues.createComment({ - issue_number: pr_number, - owner: context.repo.owner, - repo: context.repo.repo, - body: '## OpenAPI diff:\n\n' + diff - })