ci: basic semgrep configuration (#7520)

* basic semgrep configuration

* only main branch
This commit is contained in:
mr-uniswap 2023-10-30 16:00:40 -04:00 committed by GitHub
parent 635875345e
commit eff6484a10
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

24
.github/workflows/semgrep.yml vendored Normal file

@ -0,0 +1,24 @@
name: Semgrep
on:
workflow_dispatch: {}
pull_request: {}
push:
branches:
- main
paths:
- .github/workflows/semgrep.yml
schedule:
# random HH:MM to avoid a load spike on GitHub Actions at 00:00
- cron: '2 11 * * *'
jobs:
semgrep:
name: semgrep/ci
runs-on: ubuntu-20.04
env:
SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN }}
container:
image: returntocorp/semgrep
if: (github.actor != 'dependabot[bot]')
steps:
- uses: actions/checkout@v3
- run: semgrep ci