Merge patch-axel-2

Signed-off-by: Axel Heider <[email protected]>

.github/workflows/test-hw.yml

@@ -18,8 +18,8 @@ permissions:
   contents: read
 
 jobs:
-  code:
-    name: Freeze Code
+  build:
+    name: Build
     runs-on: ubuntu-latest
     if: ${{ github.event_name == 'push' ||
             github.event_name == 'pull_request_target' &&
@@ -30,19 +30,6 @@ jobs:
               github.event.action == 'labeled' &&
               (github.event.label.name == 'hw-build' ||
                github.event.label.name == 'hw-test') }}
-    outputs:
-      xml: ${{ steps.repo.outputs.xml }}
-    steps:
-    - id: repo
-      uses: seL4/ci-actions/repo-checkout@master
-      with:
-        manifest_repo: camkes-vm-examples-manifest
-        manifest: master.xml
-
-  build:
-    name: Build
-    needs: code
-    runs-on: ubuntu-latest
     strategy:
       fail-fast: true
       matrix: