Fix cabal cache task

rahulc29 · Dec 12, 2023 · 3398692 · 3398692
1 parent 1f5fa7c
commit 3398692
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -18,13 +18,13 @@ jobs:
       name: Cache cabal packages
       id: cache-cabal
       with:
-      path: |
-         ~/.cabal/packages
-         ~/.cabal/store
-         ~/.cabal/bin
-         ~/.local/bin
-         dist-newstyle
-      key: ${{ runner.os }}-${{ matrix.ghc-ver }}-${{ matrix.cabal-ver }}-${{ matrix.agda-ref }}
+        path: |
+          ~/.cabal/packages
+          ~/.cabal/store
+          ~/.cabal/bin
+          ~/.local/bin
+          dist-newstyle
+        key: ${{ runner.os }}-${{ matrix.ghc-ver }}-${{ matrix.cabal-ver }}-${{ matrix.agda-ref }}
     - name: Install cabal
       if: steps.cache-cabal.outputs.cache != 'true'
       uses: actions/[email protected]