diff --git a/.github/workflows/microhs-ci.yml b/.github/workflows/microhs-ci.yml index 63584639..186c307b 100644 --- a/.github/workflows/microhs-ci.yml +++ b/.github/workflows/microhs-ci.yml @@ -16,5 +16,6 @@ jobs: - uses: sol/setup-MicroHs@nightly - name: checkout QuickCheck repo uses: actions/checkout@v4 + - run: find ~/.mcabal/ -name "QuickCheck-*.pkg" -delete - name: test QuickCheck run: ./test-mhs