wip testing CI

seL4 · Jan 2, 2024 · 65ba083 · 65ba083
1 parent 384ef39
commit 65ba083
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/camkes-vm-deploy.yml b/.github/workflows/camkes-vm-deploy.yml
@@ -41,7 +41,7 @@ jobs:
       matrix:
         march: [nehalem, armv7a, armv8a]
     steps:
-    - uses: seL4/ci-actions/camkes-vm@master
+    - uses: Hensoldt-Cyber/ci-actions/camkes-vm@patch-axel-8
       with:
         xml: ${{ needs.code.outputs.xml }}
         march: ${{ matrix.march }}

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-8
       with:
         march: ${{ matrix.march }}