Merge pull request #1291 from goblint/dependabot/github_actions/githu…

…b/codeql-action-3 Bump github/codeql-action from 2 to 3
goblint · Dec 15, 2023 · ad43006 · ad43006
2 parents ce3d4e9 + 7b38a73
commit ad43006
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml
@@ -22,7 +22,7 @@ jobs:
         run: semgrep scan --config .semgrep/ --sarif > semgrep.sarif
 
       - name: Upload SARIF file to GitHub Advanced Security Dashboard
-        uses: github/codeql-action/upload-sarif@v2
+        uses: github/codeql-action/upload-sarif@v3
         with:
           sarif_file: semgrep.sarif
         if: always()