Skip to content

chore: move build pipeline to github actions #31

chore: move build pipeline to github actions

chore: move build pipeline to github actions #31

Workflow file for this run

name: Semgrep
on:
pull_request_target: {}
push:
branches: ["master", "main"]
jobs:
semgrep:
name: Scan
runs-on: ubuntu-latest
container:
image: returntocorp/semgrep
if: (github.actor != 'dependabot[bot]' && github.actor != 'snyk-bot')
steps:
- uses: actions/checkout@v3
- run: semgrep ci
env:
SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN }}