Ping missing semgrep actions

Author: nHackel

.github/workflows/Semgrep.yml

@@ -54,13 +54,13 @@ jobs:
                 --exclude=JuliaRules
     
       - name: Save Semgrep report
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@bbbca2ddaa5d8feaa63e36b76fdaad77386f024f # v7.0.0
         with:
           name: report.sarif
           path: report.sarif
 
       - name: Upload Semgrep report
-        uses: github/codeql-action/upload-sarif@v3
+        uses: github/codeql-action/upload-sarif@4e94bd11f71e507f7f87df81788dff88d1dacbfb # v4.34.1
         with:
           sarif_file: report.sarif
           category: semgrep