From fc1f3809073ea567914883fdd4bf454d9d82b38d Mon Sep 17 00:00:00 2001
From: Simon Hengel <sol@typeful.net>
Date: Tue, 6 Jan 2026 09:08:06 +0530
Subject: [PATCH] Update microhs-ci.yml

---
 .github/workflows/microhs-ci.yml | 1 +
 1 file changed, 1 insertion(+)

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