diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 1235c53..9d0bcda 100644 --- 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/ \ No newline at end of file + cp -f -R main/ ~/main-build/