From e4157f33cbb502d54d4c7fe98fb0c7dcabc1a26d Mon Sep 17 00:00:00 2001
From: Alistair <ajo41@cam.ac.uk>
Date: Wed, 31 Jul 2024 13:52:00 +0100
Subject: [PATCH] fixup! ci: just build the riscv64 target for now

---
 .github/workflows/ci.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e0b768e..891f9b5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -17,9 +17,7 @@ jobs:
     strategy:
       matrix:
         include:
-          - image: x86_64
           - image: riscv64
-          - image: aarch64
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4