| - uses: actions/checkout@v2 |
| uses: actions/setup-python@v2 |
| python -m pip install -q semgrep |
| git fetch origin $GITHUB_BASE_REF:$GITHUB_BASE_REF -q |
| files=$(git diff --name-only --diff-filter=d $GITHUB_BASE_REF) |
| [[ -d .github/helper/semgrep_rules ]] && semgrep --severity ERROR --config=.github/helper/semgrep_rules --quiet --error $files |
| semgrep --config="r/python.lang.correctness" --quiet --error $files |
| [[ -d .github/helper/semgrep_rules ]] && semgrep --severity WARNING --severity INFO --config=.github/helper/semgrep_rules --quiet $files |