Harden GitHub workflows

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
2026-08-21 12:02:34 +01:00 · 2026-06-12 17:21:04 +02:00
parent 4d13107aac
commit df949f3d45
3 changed files with 29 additions and 6 deletions
@@ -40,7 +40,9 @@ jobs:

    steps:
    - name: Checkout repository
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
+      with:
+        persist-credentials: false

    # Initializes the CodeQL tools for scanning.
    - name: Initialize CodeQL