From b5beda1adbdcea4ff83bf39728e03c3a524861b0 Mon Sep 17 00:00:00 2001 From: Arya Irani Date: Thu, 21 Mar 2024 11:49:19 -0600 Subject: [PATCH] use caching in pre-release --- .github/workflows/pre-release.yaml | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/.github/workflows/pre-release.yaml b/.github/workflows/pre-release.yaml index 900f7505d2..5ed9f1b5d8 100644 --- a/.github/workflows/pre-release.yaml +++ b/.github/workflows/pre-release.yaml @@ -19,6 +19,11 @@ jobs: steps: - uses: actions/checkout@v2 + - name: restore stack caches + uses: ./.github/workflows/actions/restore-stack-cache + with: + cache-prefix: pre-release + - name: install stack uses: ./.github/workflows/actions/install-stack @@ -29,7 +34,17 @@ jobs: git config --global user.email "actions@github.com" - name: build - run: stack --no-terminal build --flag unison-parser-typechecker:optimized + run: | + # unison-cli embeds version numbers using TH + # so it needs to be forced to rebuild to ensure those are updated. + stack clean unison-cli + + stack --no-terminal build --flag unison-parser-typechecker:optimized + + - name: save stack caches + uses: ./.github/workflows/actions/save-stack-cache + with: + cache-prefix: pre-release - name: fetch latest Unison Local UI and package with ucm run: |