Harden GitHub workflows

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Pol Henarejos
2026-06-12 17:34:51 +02:00
parent 83b3273f51
commit bddad2f837
3 changed files with 33 additions and 7 deletions

View File

@@ -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