CI: Test macaw-{aarch32,ppc}-syntax

GaloisInc · Dec 4, 2024 · 646cac0 · 646cac0
1 parent bb8b0d6
commit 646cac0
Showing 1 changed file with 14 additions and 0 deletions.
diff --git 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