Skip to content

chore: Disable unwanted lint rules #154

chore: Disable unwanted lint rules

chore: Disable unwanted lint rules #154

Workflow file for this run

name: semgrep-pro
on:
push:
branches: [master, next]
pull_request: {}
workflow_dispatch: {}
schedule:
- cron: "28 6 * * 4"
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.head.label || github.run_id }}
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
jobs:
analyze:
runs-on: ubuntu-latest
timeout-minutes: 10
container:
image: semgrep/semgrep@sha256:ee3c01c9d33a975209d6bcda050520a45366d79e2919c15baca4014e8634a9ac
permissions:
actions: read
contents: read
security-events: write
steps:
- uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5
- run: semgrep ci --sarif-output=semgrep.sarif
env:
SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN }}
- uses: github/codeql-action/upload-sarif@755f44910c12a3d7ca0d8c6e42c048b3362f7cec # v3
if: always()
with:
sarif_file: semgrep.sarif