[ ci ]

banacorn · Nov 5, 2024 · dce7801 · dce7801
1 parent 6b4e99f
commit dce7801
Showing 1 changed file with 11 additions and 9 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -38,22 +38,23 @@ jobs:
           cabal-update: false
           enable-stack: true
 
-      - name: 🔍 Environment settings based on the Haskell setup
+      - name: 🔍 Setting variables
+        run: | 
+          stack-local-bin = $(stack path --local-bin)
+          echo "STACK_LOCAL_BIN=$stack-local-bin" >> "$GITHUB_ENV"
+          echo "stack-local-bin=$stack-local-bin" >> "$GITHUB_ENV"
+          
+
+      - name: 🔍 Reviewing variables
         run: |
           echo "runner.os         = ${{ runner.os                               }}"
           echo "ghc-path          = ${{ steps.haskell-setup.outputs.ghc-path    }}"
           echo "ghc-exe           = ${{ steps.haskell-setup.outputs.ghc-exe     }}"
           echo "stack-path        = ${{ steps.haskell-setup.outputs.stack-path  }}"
           echo "stack-exe         = ${{ steps.haskell-setup.outputs.stack-exe   }}"
           echo "stack-root        = ${{ steps.haskell-setup.outputs.stack-root  }}"
-          echo STACK_LOCAL_BIN="$(stack path --local-bin)"                          >> "${GITHUB_ENV}"
-          echo "STACK_LOCAL_BIN=$(stack path --local-bin)"
-          echo STACK_ROOT="${{ steps.haskell-setup.outputs.stack-root }}"           >> "${GITHUB_ENV}"
-          echo "STACK_ROOT=${{ steps.haskell-setup.outputs.stack-root }}"
-          echo STACK_VER="$(stack --numeric-version)"                               >> "${GITHUB_ENV}"
-          echo "STACK_VER=${STACK_VER}"
-          echo "GHC_VER=$(ghc --numeric-version)"                                   >> "${GITHUB_ENV}"
-          echo "ARGS=--stack-yaml=stack-${GHC_VER}.yaml --system-ghc --no-terminal" >> "${GITHUB_ENV}"
+          echo "STACK_LOCAL_BIN   = ${{ env.STACK_LOCAL_BIN }}"
+          echo "stack-local-bin   = ${{ env.stack-local-bin }}"
 
       # cached stuff to be restored:
       - name: 💾 Restore cached stack global package db
@@ -102,6 +103,7 @@ jobs:
           stack install --resolver ${{ matrix.agda }}
           which agda
           # agda --version
+          ls -a
 
       # things to be cached