diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 1e5d2514..dbd8dcd2 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -129,6 +129,12 @@ jobs:
     - name: Test macaw-aarch32-symbolic
       if: runner.os == 'Linux'
       run: cabal test pkg:macaw-aarch32-symbolic
+    - name: Build macaw-aarch32-syntax
+      if: runner.os == 'Linux'
+      run: cabal build pkg:macaw-aarch32-syntax
+    - name: Test macaw-aarch32-syntax
+      if: runner.os == 'Linux'
+      run: cabal test pkg:macaw-aarch32-syntax
 
     - name: Build macaw-ppc
       run: cabal build pkg:macaw-ppc pkg:macaw-ppc-symbolic
@@ -140,6 +146,14 @@ jobs:
       if: runner.os == 'Linux'
       run: cabal test pkg:macaw-ppc-symbolic
 
+    - name: Build macaw-ppc-syntax
+      if: runner.os == 'Linux'
+      run: cabal build pkg:macaw-ppc-syntax
+
+    - name: Test macaw-ppc-syntax
+      if: runner.os == 'Linux'
+      run: cabal test pkg:macaw-ppc-syntax
+
     - name: Build macaw-riscv
       run: cabal build pkg:macaw-riscv pkg:macaw-riscv-symbolic