Fix for missing hits into cache (#3)

.github/workflows/haskell.yml

@@ -5,7 +5,8 @@ jobs:
     name: agda2scheme
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - name: Checks-out repository
+        uses: actions/checkout@v4
 
       - name: Set up GHC
         uses: haskell-actions/setup@v2
@@ -34,14 +35,14 @@ jobs:
 
       - name: Install dependencies
         # If we had an exact cache hit, the dependencies will be up to date.
-        if: steps.cache.outputs.cache-hit != 'true'
+        if: ${{ steps.cache.outputs.cache-hit != 'true' }}
         run: cabal build all --only-dependencies
 
       # Cache dependencies already here, so that we do not have to rebuild them should the subsequent steps fail.
       - name: Save cached dependencies
         uses: actions/cache/save@v3
         # If we had an exact cache hit, trying to save the cache would error because of key clash.
-        if: steps.cache.outputs.cache-hit != 'true'
+        if: ${{ steps.cache.outputs.cache-hit != 'true' }}
         with:
           path: ${{ steps.setup.outputs.cabal-store }}
           key: ${{ steps.cache.outputs.cache-primary-key }}