From e6fd119caaf0bbddbfb71104d42714461ff38ac6 Mon Sep 17 00:00:00 2001 From: Maximilian Algehed Date: Thu, 13 Nov 2025 12:54:26 +0100 Subject: [PATCH 1/4] cache mcabal dependencies --- .github/workflows/microhs-ci.yml | 5 +++++ .gitignore | 1 + 2 files changed, 6 insertions(+) diff --git a/.github/workflows/microhs-ci.yml b/.github/workflows/microhs-ci.yml index 5349197e..7457bba8 100644 --- a/.github/workflows/microhs-ci.yml +++ b/.github/workflows/microhs-ci.yml @@ -25,6 +25,11 @@ jobs: make minstall - name: checkout QuickCheck repo uses: actions/checkout@v4 + - uses: actions/cache + with: + key: ${{ runner.os }}-mcabal-${{ github.sha }} + path: ~/.mcabal/mhs-* + restore-keys: ${{ runner.os }}-mcabal - name: build QuickCheck run: | PATH="$HOME/.mcabal/bin:$PATH" diff --git a/.gitignore b/.gitignore index 105f3072..fe4eb60e 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ /dist/ /dist-newstyle/ +/dist-mcabal/ .ghc.environment.* *.hi *.o From 078c91b1ebe3a8c6a5c4ab6d06bcb8d3d615a718 Mon Sep 17 00:00:00 2001 From: Maximilian Algehed Date: Thu, 13 Nov 2025 12:56:58 +0100 Subject: [PATCH 2/4] whoops --- .github/workflows/microhs-ci.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/microhs-ci.yml b/.github/workflows/microhs-ci.yml index 7457bba8..ffe15bd4 100644 --- a/.github/workflows/microhs-ci.yml +++ b/.github/workflows/microhs-ci.yml @@ -26,10 +26,10 @@ jobs: - name: checkout QuickCheck repo uses: actions/checkout@v4 - uses: actions/cache - with: - key: ${{ runner.os }}-mcabal-${{ github.sha }} - path: ~/.mcabal/mhs-* - restore-keys: ${{ runner.os }}-mcabal + with: + key: ${{ runner.os }}-mcabal-${{ github.sha }} + path: ~/.mcabal/mhs-* + restore-keys: ${{ runner.os }}-mcabal - name: build QuickCheck run: | PATH="$HOME/.mcabal/bin:$PATH" From b38b5aa9adf24db4d56c90be1cac2d99e80d2057 Mon Sep 17 00:00:00 2001 From: Maximilian Algehed Date: Thu, 13 Nov 2025 12:57:32 +0100 Subject: [PATCH 3/4] sigh --- .github/workflows/microhs-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/microhs-ci.yml b/.github/workflows/microhs-ci.yml index ffe15bd4..a8d779a1 100644 --- a/.github/workflows/microhs-ci.yml +++ b/.github/workflows/microhs-ci.yml @@ -25,7 +25,7 @@ jobs: make minstall - name: checkout QuickCheck repo uses: actions/checkout@v4 - - uses: actions/cache + - uses: actions/cache@v4 with: key: ${{ runner.os }}-mcabal-${{ github.sha }} path: ~/.mcabal/mhs-* From 05a37db32c7661563b7b03b87247debf97133aa9 Mon Sep 17 00:00:00 2001 From: Maximilian Algehed Date: Thu, 13 Nov 2025 13:01:06 +0100 Subject: [PATCH 4/4] cache first thing to let mhs override things if it wants --- .github/workflows/microhs-ci.yml | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/.github/workflows/microhs-ci.yml b/.github/workflows/microhs-ci.yml index a8d779a1..186237a9 100644 --- a/.github/workflows/microhs-ci.yml +++ b/.github/workflows/microhs-ci.yml @@ -13,7 +13,11 @@ jobs: name: MicroHs-CI - Linux runs-on: ubuntu-24.04 steps: - # mhs + - uses: actions/cache@v4 + with: + key: ${{ runner.os }}-mcabal-${{ github.sha }} + path: ~/.mcabal/mhs-* + restore-keys: ${{ runner.os }}-mcabal - name: checkout mhs repo uses: actions/checkout@v4 with: @@ -25,11 +29,6 @@ jobs: make minstall - name: checkout QuickCheck repo uses: actions/checkout@v4 - - uses: actions/cache@v4 - with: - key: ${{ runner.os }}-mcabal-${{ github.sha }} - path: ~/.mcabal/mhs-* - restore-keys: ${{ runner.os }}-mcabal - name: build QuickCheck run: | PATH="$HOME/.mcabal/bin:$PATH"