Fix semgrep 1.38 compatibility

goblint · Sep 1, 2023 · b55afa6 · b55afa6
1 parent 1da8e97
commit b55afa6
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