From e9bef07d7cc00e24f28ab58dc17e6cf56c4649ca Mon Sep 17 00:00:00 2001
From: Niklas Hackelberg <nHackel@users.noreply.github.com>
Date: Mon, 23 Mar 2026 14:07:44 +0100
Subject: [PATCH] Ping missing semgrep actions

---
 .github/workflows/Semgrep.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/Semgrep.yml b/.github/workflows/Semgrep.yml
index ad874f5..942ab04 100644
--- a/.github/workflows/Semgrep.yml
+++ b/.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