From c78fda4cdb424345f798e68a49f6f2240030402f Mon Sep 17 00:00:00 2001 From: Lennart Augustsson Date: Mon, 12 Jan 2026 10:20:50 +0100 Subject: [PATCH 1/2] Update the version used for testing. --- .github/workflows/mhs-ci.yml | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/.github/workflows/mhs-ci.yml b/.github/workflows/mhs-ci.yml index 55b0e8037..e2781f568 100644 --- a/.github/workflows/mhs-ci.yml +++ b/.github/workflows/mhs-ci.yml @@ -14,14 +14,13 @@ jobs: uses: actions/checkout@v4 with: path: cont + # mhs - name: checkout mhs repo - # workaround for `act`: https://github.com/nektos/act/issues/678#issuecomment-1693751996 - run: git clone https://github.com/augustss/MicroHs.git --branch stable-5 mhs -# uses: actions/checkout@v4 -# with: -# repository: augustss/MicroHs -# ref: stable-4 -# path: mhs + uses: actions/checkout@v4 + with: + repository: augustss/MicroHs + ref: v0.15.0.0 + path: mhs - name: make and install mhs run: | cd mhs From e9e601c55b4edc8626775ddc01f1bbd99424d9a6 Mon Sep 17 00:00:00 2001 From: Lennart Augustsson Date: Mon, 12 Jan 2026 10:50:32 +0100 Subject: [PATCH 2/2] Add missing -r flag --- .github/workflows/mhs-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/mhs-ci.yml b/.github/workflows/mhs-ci.yml index e2781f568..5033c74cd 100644 --- a/.github/workflows/mhs-ci.yml +++ b/.github/workflows/mhs-ci.yml @@ -29,7 +29,7 @@ jobs: run: | PATH="$HOME/.mcabal/bin:$PATH" cd cont/containers - mcabal install + mcabal -r install - name: cleanup run: | rm -rf $HOME/.mcabal