Use ghc 9.6 for release builds.

See #8947.
2026-09-24 15:44:59 +08:00 · 2023-08-04 13:54:04 -07:00
parent 5e1b9591e1
commit 889dcbe99c
3 changed files with 5 additions and 6 deletions
@@ -21,8 +21,7 @@ jobs:
    - uses: actions/checkout@v3
    - name: Install ghc
      run: |
-        # We use ghc 9.2 because of #8955
-        ghcup install ghc --set 9.2
+        ghcup install ghc --set 9.6
        ghcup install cabal --set 3.10

    - name: Install dependencies
@@ -85,7 +84,7 @@ jobs:

    - name: Install ghc and cabal
      run: |
-        ghcup install ghc --set 9.4
+        ghcup install ghc --set 9.6
        ghcup install cabal --set 3.10

    - name: Create release