ci : pin github actions to commit sha's (#3865)

This commit is contained in:
Daniel Bevenius
2026-06-09 12:51:00 +02:00
committed by GitHub
parent ba573929cd
commit df7638d822
20 changed files with 64 additions and 64 deletions
+2 -2
View File
@@ -46,7 +46,7 @@ jobs:
steps:
- name: Clone
uses: actions/checkout@v6
uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6
- name: add oneAPI to apt
shell: bash
@@ -105,7 +105,7 @@ jobs:
steps:
- name: Clone
uses: actions/checkout@v6
uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6
- name: add oneAPI to apt
shell: bash