Skip to content

chore: Fix lint and types issues + missing changes #907

chore: Fix lint and types issues + missing changes

chore: Fix lint and types issues + missing changes #907

Workflow file for this run

name: semgrep-pro
on:
push:
branches:
- master
- next
pull_request:
merge_group:
workflow_dispatch:
schedule:
- cron: "28 6 * * 4"
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }}
cancel-in-progress: true
jobs:
analyze:
runs-on: ubuntu-latest
timeout-minutes: 10
container:
image: semgrep/semgrep@sha256:b94b53d02fd4a022f9eac4e2af1380f5c3c4c21400e79d3336bdff1d1db5e796
permissions:
actions: read
contents: read
security-events: write
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
- run: semgrep ci --sarif-output=semgrep.sarif
env:
SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN }}
- uses: github/codeql-action/upload-sarif@cdf488f595d80d6e07e03d4674febd5ab45fa938 # v4
if: always()
with:
sarif_file: semgrep.sarif