From 41f413fba8e466f57ddb3dd673aaa6f28f9ee5d0 Mon Sep 17 00:00:00 2001
From: Axel Heider <axelheider@gmx.de>
Date: Thu, 1 Feb 2024 00:20:21 +0100
Subject: [PATCH] use axel-h/ci-actions@patch-axel-11a ZCU102 SMP

Signed-off-by: Axel Heider <axelheider@gmx.de>
---
 .github/workflows/test-hw.yml |  8 ++++----
 .github/workflows/test.yml    | 23 -----------------------
 2 files changed, 4 insertions(+), 27 deletions(-)
 delete mode 100644 .github/workflows/test.yml

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 f8fb52a0..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: seL4/ci-actions/camkes-vm@master
-      with:
-        march: ${{ matrix.march }}