diff --git a/.github/workflows/microhs-ci.yml b/.github/workflows/microhs-ci.yml index 2607959c..b9fbd642 100644 --- a/.github/workflows/microhs-ci.yml +++ b/.github/workflows/microhs-ci.yml @@ -13,6 +13,11 @@ jobs: name: MicroHs-CI - Linux runs-on: ubuntu-24.04 steps: + - uses: actions/cache@v4 + with: + key: ${{ runner.os }}-mcabal-${{ github.sha }} + path: ~/.mcabal/mhs-* + restore-keys: ${{ runner.os }}-mcabal - uses: sol/setup-MicroHs@nightly - name: checkout QuickCheck repo uses: actions/checkout@v4