wip: wip

Signed-off-by: willieyz <[email protected]>

Author: willieyz

.github/workflows/base.yml

@@ -221,19 +221,14 @@ jobs:
   simpasm:
     strategy:
       fail-fast: false
-      matrix:
-        backend:
-           - arg: '--aarch64-clean'
-             name: Clean
-           - arg: ''
-             name: Optimized
+      matrix: # TODO: add backend option after we have optimized/clean seperation
         simplify:
            - arg: ''
              name: Simplified
            - arg: '--no-simplify'
              name: Unmodified
     runs-on: pqcp-arm64
-    name: AArch64 dev backend (${{ matrix.backend.name }}, ${{ matrix.simplify.name }})
+    name: AArch64 dev backend (${{ matrix.simplify.name }})
     steps:
       - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
       - name: Reinstate and test backend
@@ -242,7 +237,7 @@ jobs:
           nix-shell: 'ci'
           gh_token: ${{ secrets.GITHUB_TOKEN }}
           script: |
-            ./scripts/autogen ${{ matrix.backend.arg }} ${{ matrix.simplify.arg }}
+            ./scripts/autogen ${{ matrix.simplify.arg }}
             make clean
             OPT=1 make quickcheck
   scan-build: