Update ghcup invocations for CI

Author: david-christiansen

.github/workflows/deploy.yml

@@ -13,8 +13,11 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - name: Select GHC 9.2.4
-      run: ghcup set 9.2.4
+    - name: Install GHC 9.2.5
+      run: ghcup install ghc 9.2.5
+
+    - name: Select GHC 9.2.5
+      run: ghcup set ghc 9.2.5
 
     - name: Check out repo
       uses: actions/checkout@v3

.github/workflows/pullrequest-ci.yml

@@ -11,8 +11,11 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - name: Select GHC 9.2.4
-      run: ghcup set 9.2.4
+    - name: Install GHC 9.2.5
+      run: ghcup install ghc 9.2.5
+
+    - name: Select GHC 9.2.5
+      run: ghcup set ghc 9.2.5
 
     - name: Check out repo
       uses: actions/checkout@v3