From a72241ad4e226fd3e703437347fc2775e5676300 Mon Sep 17 00:00:00 2001 From: Andrei Dziahel Date: Tue, 28 Nov 2023 19:22:49 +0300 Subject: [PATCH] ci: fixes job caches not producing after recent cabal upgrade Recent cabal adopted XDG guidelines and stores data across multiple directories under $HOME. Creating ~/.cabal manually returns old behavior and allows caching single directory again. --- .github/workflows/ci.yaml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index fa9d670cc..ceebc1787 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -262,8 +262,9 @@ jobs: run: | ghcup install ghc ${{ matrix.ghc }} ghcup set ghc ${{ matrix.ghc }} - - name: Copy cabal.project + - name: Copy cabal.project & fix caching run: | + mkdir ~/.cabal cp cabal.project.non-nix cabal.project - name: Cache uses: actions/cache@v3