Update main.yml

rahulc29 · Dec 12, 2023 · a631724 · a631724
1 parent eb6b0c2
commit a631724
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -19,11 +19,11 @@ jobs:
 			id: cache-cabal
 			with:
 			path: |
-				~/.cabal/packages
-				~/.cabal/store
-				~/.cabal/bin
-				~/.local/bin
-				dist-newstyle
+				 ~/.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'
@@ -74,4 +74,4 @@ jobs:
 				cd master
 				cd src
 				agda --html --html-dir=../docs index.agda
-				cp -f -R main/ ~/main-build/
+				cp -f -R main/ ~/main-build/