Remove devenv shell

Author: fm7-1

.github/workflows/build.yml

@@ -19,8 +19,8 @@ jobs:
       matrix:
         os:
           - macos-13      # x86_64-darwin
-          - macos-latest  # aarch64-darwin
-          - ubuntu-latest # x86_64-linux
+          # - macos-latest  # aarch64-darwin
+          # - ubuntu-latest # x86_64-linux
       fail-fast: true
     runs-on: ${{ matrix.os }}
     timeout-minutes: 30
@@ -40,11 +40,11 @@ jobs:
       - name: Enter devenv shell
         run: nix develop --no-pure-eval
       - name: Update Cabal list of known packages.
-        run: cabal update
+        run: nix develop --no-pure-eval -c cabal update
       - name: Compile code ${{ matrix.ghc }}
-        run: cabal build
+        run: nix develop --no-pure-eval -c cabal build
       - name: Run tests ${{ matrix.ghc }}
-        run: cabal test
+        run: nix develop --no-pure-eval -c cabal test
 
   docker:
     uses: ./.github/workflows/reusable-docker.yml