WIP testing CI

seL4 · Jan 26, 2024 · 82ad8f4 · 82ad8f4
1 parent 2aa80c0
commit 82ad8f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -18,6 +18,6 @@ jobs:
       matrix:
         march: [nehalem, armv7a, armv8a]
     steps:
-    - uses: seL4/ci-actions/camkes-vm@master
+    - uses: Hensoldt-Cyber/ci-actions/camkes-vm@patch-axel-8a
       with:
         march: ${{ matrix.march }}