From 61cea7091885550d32a8a7702d71654077e17c51 Mon Sep 17 00:00:00 2001
From: Ashley Yakeley <ashley@semantic.org>
Date: Sun, 17 Nov 2024 08:18:05 -0800
Subject: [PATCH] Make CI more act-friendly

---
 .github/workflows/ci.mhs.yml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/ci.mhs.yml b/.github/workflows/ci.mhs.yml
index ba97129..c011b0d 100644
--- a/.github/workflows/ci.mhs.yml
+++ b/.github/workflows/ci.mhs.yml
@@ -15,11 +15,8 @@ jobs:
       with:
         path: time
     - name: checkout mhs repo
-      uses: actions/checkout@v4
-      with:
-        repository: augustss/MicroHs
-        ref: stable-2
-        path: mhs
+      # workaround for `act`: https://github.com/nektos/act/issues/678#issuecomment-1693751996
+      run: git clone https://github.com/augustss/MicroHs.git --branch stable-2 mhs
     - name: make and install mhs
       run: |
         cd mhs