Fix semgrep 1.38 compatibility

goblint · Sep 4, 2023 · 26b01fd · 26b01fd
1 parent 9077859
commit 26b01fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml
@@ -19,7 +19,7 @@ jobs:
         uses: actions/checkout@v3
 
       - name: Run semgrep
-        run: semgrep scan --sarif --output=semgrep.sarif
+        run: semgrep scan --config .semgrep/ --sarif > semgrep.sarif
 
       - name: Upload SARIF file to GitHub Advanced Security Dashboard
         uses: github/codeql-action/upload-sarif@v2