Skip to content

plugins/semgrep: fix chroot root path stripping issue #250

plugins/semgrep: fix chroot root path stripping issue

plugins/semgrep: fix chroot root path stripping issue #250

---
name: Differential PyLint
on:
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
- id: PyLint
name: Differential PyLint
uses: fedora-copr/vcs-diff-lint-action@v1
- if: ${{ always() }}
name: Upload artifact with detected PyLint defects in SARIF format
uses: actions/upload-artifact@v4
with:
name: Differential PyLint SARIF
path: ${{ steps.PyLint.outputs.sarif }}
- if: ${{ failure() }}
name: Upload SARIF to GitHub using github/codeql-action/upload-sarif
uses: github/codeql-action/upload-sarif@v3
with:
sarif_file: ${{ steps.PyLint.outputs.sarif }}
...