From c328c4f96138a10fd8f4f2d9c81e8970291d218e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Albin=20Ahlb=C3=A4ck?= <albin.ahlback@gmail.com>
Date: Wed, 5 Mar 2025 11:31:37 +0100
Subject: [PATCH 1/2] Add Ubuntu ARM CI runner

---
 .github/workflows/CI.yml | 58 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 58 insertions(+)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 4288c08cf3..e1aaaa9782 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -186,6 +186,64 @@ jobs:
 
 
 
+  ##############################################################################
+  # ubuntu arm
+  ##############################################################################
+  ubuntu-arm:
+    name: Ubuntu ARM (x5)
+
+    runs-on: ubuntu-24.04-arm
+
+    env:
+      CC: "gcc"
+      FLINT_TEST_MULTIPLIER: "5"
+
+    steps:
+      - name: "Rescale multiplier"
+        run: |
+          FLINT_TEST_MULTIPLIER=$(echo "${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}" | bc)
+          echo "FLINT_TEST_MULTIPLIER=${FLINT_TEST_MULTIPLIER}"
+          echo "FLINT_TEST_MULTIPLIER=${FLINT_TEST_MULTIPLIER}" >> $GITHUB_ENV
+
+      - uses: actions/checkout@v4
+
+      - name: "Setup"
+        run: |
+          sudo apt-get install -y \
+            libgmp-dev \
+            libmpfr-dev \
+            autoconf \
+            libtool-bin
+
+          # Check versions
+          gcc --version
+          make --version
+          autoconf --version
+          libtool --version
+          echo "MAKE=make -j$(expr $(nproc) + 1) --output-sync=target" >> $GITHUB_ENV
+
+      - name: "Configure"
+        run: |
+          ./bootstrap.sh
+          ./configure \
+            CC=${CC} \
+            --disable-debug
+
+      - name: "Compile library"
+        run: |
+          $MAKE
+          ldd libflint.so
+
+      - name: "Compile tests"
+        run: |
+          $MAKE tests
+
+      - name: "Check"
+        run: |
+          $MAKE check
+
+
+
   ##############################################################################
   # macos (M1) with clang
   ##############################################################################

From c116a240848ff983683d9fb9c7a0f2c8bc625546 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Albin=20Ahlb=C3=A4ck?= <albin.ahlback@gmail.com>
Date: Wed, 5 Mar 2025 11:33:22 +0100
Subject: [PATCH 2/2] Remove unnecessary lines in Ubuntu Clang runner

---
 .github/workflows/CI.yml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index e1aaaa9782..39fae20bf5 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -311,13 +311,7 @@ jobs:
 
     runs-on: ubuntu-24.04
 
-    # NOTE: Clang is currently buggy on Ubuntu.  Hence, we temporarily allow
-    # this job to fail.
-    continue-on-error: true
-
     env:
-      LOCAL: ${{ github.workspace }}/local
-      LDFLAGS: "-Wl,-rpath,$LOCAL/lib"
       CC: "clang"
       FLINT_TEST_MULTIPLIER: "5"