ci: Remove conditional in build/test of x86-symbolic

We only run CI on Linux, no need for this conditional.
GaloisInc · Aug 20, 2024 · 5453ede · 5453ede
1 parent b932885
commit 5453ede
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -107,16 +107,15 @@ jobs:
     - name: Test macaw-x86
       run: cabal test pkg:macaw-x86
 
+    - name: Test macaw-x86-symbolic
+      run: cabal test pkg:macaw-x86-symbolic
+
     - name: Build macaw-x86-syntax
       run: cabal build pkg:macaw-x86-syntax
 
     - name: Test macaw-x86-syntax
       run: cabal test pkg:macaw-x86-syntax
 
-    - name: Test macaw-x86-symbolic
-      if: runner.os == 'Linux'
-      run: cabal test pkg:macaw-x86-symbolic
-
     - name: Build macaw-aarch32
       run: cabal build pkg:macaw-aarch32 pkg:macaw-aarch32-symbolic
     - name: Test macaw-aarch32