diff --git a/.github/workflows/test-hw.yml b/.github/workflows/test-hw.yml
index b405a097..aca5aaa1 100644
--- a/.github/workflows/test-hw.yml
+++ b/.github/workflows/test-hw.yml
@@ -60,9 +60,9 @@ jobs:
     strategy:
       fail-fast: true
       matrix:
-        march: [nehalem, armv7a, armv8a]
+        march: [armv8a]
     steps:
-    - uses: axel-h/ci-actions/camkes-vm@patch-axel-7
+    - uses: axel-h/ci-actions/camkes-vm@patch-axel-11a
       with:
         xml: ${{ needs.code.outputs.xml }}
         march: ${{ matrix.march }}
@@ -87,7 +87,7 @@ jobs:
     strategy:
       fail-fast: true
       matrix:
-        march: [nehalem, armv7a, armv8a]
+        march: [armv8a]
     steps:
       - name: Get machine queue
         uses: actions/checkout@v4
@@ -99,7 +99,7 @@ jobs:
         with:
           name: images-${{ matrix.march }}
       - name: Run
-        uses: axel-h/ci-actions/camkes-vm-hw@patch-axel-7
+        uses: axel-h/ci-actions/camkes-vm-hw@patch-axel-11a
         with:
           march: ${{ matrix.march }}
           index: $${{ strategy.job-index }}
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
deleted file mode 100644
index 28933451..00000000
--- a/.github/workflows/test.yml
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 2021, Proofcraft Pty Ltd
-#
-# SPDX-License-Identifier: BSD-2-Clause
-
-# Actions to run on pull requests
-
-name: Camkes VM
-
-on:
-  pull_request:
-
-jobs:
-  test:
-    name: Test
-    runs-on: ubuntu-latest
-    strategy:
-      fail-fast: false
-      matrix:
-        march: [nehalem, armv7a, armv8a]
-    steps:
-    - uses: axel-h/ci-actions/camkes-vm@patch-axel-7
-      with:
-        march: ${{ matrix.march }}