Remove redundant quickcheck

Signed-off-by: Brendan Moran <brendan.moran@arm.com>

Author: bremoran

.github/workflows/base.yml

@@ -23,20 +23,6 @@ jobs:
           nix-shell: linter
           gh_token: ${{ secrets.GITHUB_TOKEN }}
           cross-prefix: "aarch64-unknown-linux-gnu-"
-  ubuntu_arm:
-    name: Ubuntu-arm
-    runs-on: ubuntu-24.04-arm
-    steps:
-      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
-      - name: make quickcheck
-        run: |
-          OPT=0 make quickcheck
-          make clean >/dev/null
-          OPT=1 make quickcheck
-      - uses: ./.github/actions/setup-os
-      - name: tests func
-        run: |
-          ./scripts/tests func --check-namespace
   quickcheck:
     strategy:
       fail-fast: false