diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 5f53135..25f6c7f 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -12,6 +12,11 @@ jobs: # agda-version: [2.6.2, 2.7.0] steps: + - name: Cache Primes + uses: actions/cache@v4 + with: + path: ~/.cabal + key: cabal-dir - uses: haskell-actions/setup@v2 with: ghc-version: 9.8.2