diff --git a/.github/workflows/differential-shellcheck.yml b/.github/workflows/differential-shellcheck.yml deleted file mode 100644 index 64e85eb..0000000 --- a/.github/workflows/differential-shellcheck.yml +++ /dev/null @@ -1,35 +0,0 @@ -name: Differential ShellCheck -on: - push: - branches: [main] - pull_request: - branches: [main] - -permissions: - contents: read - -jobs: - lint: - runs-on: ubuntu-latest - - permissions: - security-events: write - - steps: - - name: Repository checkout - uses: actions/checkout@v4 - with: - fetch-depth: 0 - - - id: ShellCheck - name: Differential ShellCheck - uses: redhat-plumbers-in-action/differential-shellcheck@v5 - with: - token: ${{ secrets.GITHUB_TOKEN }} - - - if: always() - name: Upload artifact with ShellCheck defects in SARIF format - uses: actions/upload-artifact@v4 - with: - name: Differential ShellCheck SARIF - path: ${{ steps.ShellCheck.outputs.sarif }}