Skip to content

Commit

Permalink
Shift to using semgrep CI (#3447)
Browse files Browse the repository at this point in the history
  • Loading branch information
steelhead31 committed Mar 6, 2024
1 parent b073f68 commit 8beac82
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/semgrep_diff.yml
Original file line number Diff line number Diff line change
Expand Up @@ -19,5 +19,5 @@ jobs:
# Step 2: Differential scan
- name: Differential scan
run: |
semgrep scan --error --metrics=off --config="p/trailofbits" \
--baseline-commit ${{ github.event.before }}
semgrep ci \
--config="p/trailofbits"

0 comments on commit 8beac82

Please sign in to comment.