diff --git a/.github/workflows/camkes-vm-deploy.yml b/.github/workflows/camkes-vm-deploy.yml index 7feec137..a0070760 100644 --- 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 index f8fb52a0..58300d9e 100644 --- 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 }}