From a7551ef0c97bd22f44ac3353684e112fe24287f1 Mon Sep 17 00:00:00 2001 From: Greg Pfeil Date: Fri, 6 Dec 2024 23:32:09 -0700 Subject: [PATCH] Update GitHub workflows to pinned Stack version These were out of sync with the intended version (specified in .vscode/settings.json). --- .github/workflows/bundle-ucm.yaml | 2 +- .github/workflows/ci.yaml | 2 +- .github/workflows/haddocks.yaml | 2 +- .github/workflows/update-transcripts.yaml | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/bundle-ucm.yaml b/.github/workflows/bundle-ucm.yaml index bd05781b39..6724728982 100644 --- a/.github/workflows/bundle-ucm.yaml +++ b/.github/workflows/bundle-ucm.yaml @@ -40,7 +40,7 @@ jobs: - name: install stack uses: unisonweb/actions/stack/install@main with: - stack-version: 2.15.5 + stack-version: 2.15.7 - name: build run: | diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index d162852e92..ebc93c151f 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -110,7 +110,7 @@ jobs: if: steps.cache-ucm-binaries.outputs.cache-hit != 'true' uses: unisonweb/actions/stack/install@main with: - stack-version: 2.15.5 + stack-version: 2.15.7 # Build deps, then build local code. Splitting it into two steps just allows us to see how much time each step # takes. diff --git a/.github/workflows/haddocks.yaml b/.github/workflows/haddocks.yaml index 2fb12dad65..d9db7cca07 100644 --- a/.github/workflows/haddocks.yaml +++ b/.github/workflows/haddocks.yaml @@ -28,7 +28,7 @@ jobs: - name: install stack uses: unisonweb/actions/stack/install@main with: - stack-version: 2.15.5 + stack-version: 2.15.7 - name: build with haddocks working-directory: unison diff --git a/.github/workflows/update-transcripts.yaml b/.github/workflows/update-transcripts.yaml index 7b298656e9..22e9e95140 100644 --- a/.github/workflows/update-transcripts.yaml +++ b/.github/workflows/update-transcripts.yaml @@ -23,7 +23,7 @@ jobs: - name: install stack uses: unisonweb/actions/stack/install@main with: - stack-version: 2.15.5 + stack-version: 2.15.7 # One of the transcripts fails if the user's git name hasn't been set. - name: set git user info