diff options
| author | John MacFarlane <[email protected]> | 2025-12-11 23:07:06 +0100 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-12-11 23:07:06 +0100 |
| commit | eea72420fcd0c5d30c4359b03650040fc38380b4 (patch) | |
| tree | 0c27b79c109639c9a3c9aff7c074914904759e7e /.github | |
| parent | ab212c7b87828902c4a5c8d09d43942f9179d992 (diff) | |
Use ghc 9.10 (not 9.12) for releases and nightlies.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/nightly.yml | 6 | ||||
| -rw-r--r-- | .github/workflows/release-candidate.yml | 8 |
2 files changed, 7 insertions, 7 deletions
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index e61c2f779..33d3b2e87 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -17,7 +17,7 @@ jobs: - name: Install ghc run: | - ghcup install ghc --set 9.12 + ghcup install ghc --set 9.10 ghcup install cabal --set 3.14 - name: Install dependencies @@ -47,7 +47,7 @@ jobs: - uses: actions/checkout@v6 - name: Install ghc run: | - ghcup install ghc --set 9.12 + ghcup install ghc --set 9.10 ghcup install cabal --set 3.14 - name: Install dependencies run: | @@ -80,7 +80,7 @@ jobs: brew install ghcup - name: Install ghc run: | - ghcup install ghc --set 9.12 + ghcup install ghc --set 9.10 ghcup install cabal --set 3.14 echo "$HOME/.ghcup/bin" >> "${GITHUB_PATH}" - name: Install dependencies diff --git a/.github/workflows/release-candidate.yml b/.github/workflows/release-candidate.yml index 6ece2ac61..6d437681c 100644 --- a/.github/workflows/release-candidate.yml +++ b/.github/workflows/release-candidate.yml @@ -21,8 +21,8 @@ jobs: - uses: actions/checkout@v6 - name: Install ghc run: | - ghcup install ghc --set 9.12 - ghcup install cabal --set 3.12 + ghcup install ghc --set 9.10 + ghcup install cabal --set 3.14 - name: Install dependencies run: | @@ -88,8 +88,8 @@ jobs: - name: Install ghc and cabal run: | - ghcup install ghc --set 9.12 - ghcup install cabal --set 3.12 + ghcup install ghc --set 9.10 + ghcup install cabal --set 3.14 echo "$HOME/.ghcup/bin" >> "${GITHUB_PATH}" - name: Create release |