fixup!

Author: ulysses4ever

.github/workflows/build-test-linear.yaml

@@ -27,14 +27,6 @@ jobs:
 
       - uses: actions/checkout@v4
 
-      - name: Setup Z3
-        uses: cda-tum/setup-z3@v1
-
-      - uses: haskell-actions/setup@v2
-        with:
-          ghc-version: 9.10.1
-          cabal-version: 3.14
-
       #  See the following link for a breakdown of the following step
       #  https://github.com/haskell/actions/issues/7#issuecomment-745697160
       - uses: actions/cache@v4
@@ -63,14 +55,6 @@ jobs:
 
       - uses: actions/checkout@v4
 
-      - name: Setup Z3
-        uses: cda-tum/setup-z3@v1
-
-      - uses: haskell-actions/setup@v2
-        with:
-          ghc-version: 9.10.1
-          cabal-version: 3.14
-
       - uses: actions/cache@v4
         with:
           path: |
@@ -96,14 +80,6 @@ jobs:
 
       - uses: actions/checkout@v4
 
-      - name: Setup Z3
-        uses: cda-tum/setup-z3@v1
-
-      - uses: haskell-actions/setup@v2
-        with:
-          ghc-version: 9.10.1
-          cabal-version: 3.14
-
       - uses: actions/cache@v4
         with:
           path: |
@@ -130,14 +106,6 @@ jobs:
 
       - uses: actions/checkout@v4
 
-      - name: Setup Z3
-        uses: cda-tum/setup-z3@v1
-
-      - uses: haskell-actions/setup@v2
-        with:
-          ghc-version: 9.10.1
-          cabal-version: 3.14
-
       - uses: actions/cache@v4
         with:
           path: |