Skip to content

Bugfix: WORKER_DOCKERFILE_ROOTDIR now uses resource_filename() #522

Bugfix: WORKER_DOCKERFILE_ROOTDIR now uses resource_filename()

Bugfix: WORKER_DOCKERFILE_ROOTDIR now uses resource_filename() #522

Workflow file for this run

on:
workflow_dispatch: {}
pull_request: {}
push:
branches:
- main
- master
paths:
- .github/workflows/semgrep.yml
schedule:
# random HH:MM to avoid a load spike on GitHub Actions at 00:00
- cron: 36 4 * * *
name: Semgrep
jobs:
semgrep:
name: Scan
runs-on: ubuntu-20.04
env:
SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN }}
container:
image: returntocorp/semgrep
steps:
- uses: actions/checkout@v4
- run: semgrep ci