build: Fixup PR workflow for semgrep 1.15.0 release (#5560)

jeremylong · Mar 18, 2023 · 3297c38 · 3297c38
1 parent 5a17893
commit 3297c38
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/pull_requests.yml b/.github/workflows/pull_requests.yml
@@ -102,7 +102,7 @@ jobs:
       - name: Semgrep
         id: semgrep
         run: |
-            docker run --rm -v "${PWD}:/src" returntocorp/semgrep --config "p/ci" --sarif > semgrep.sarif
+            docker run --rm -v "${PWD}:/src" returntocorp/semgrep semgrep --config "p/ci" --sarif > semgrep.sarif
       - name: Maven Site
         if: always()
         run: |