Upgrade to ghc-9.2.4 (#1451)

.github/workflows/ci.yml

@@ -87,7 +87,7 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest , macOS-latest]
-        ghc: ["9.2.3"]
+        ghc: ["9.2.4"]
     steps:
       - name: Checkout our repository
         uses: actions/checkout@v2
@@ -129,7 +129,7 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest , macOS-latest]
-        ghc: ["9.2.3"]
+        ghc: ["9.2.4"]
     steps:
       - name: Checkout the main repository
         uses: actions/checkout@v2
@@ -199,7 +199,7 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest]
-        ghc: ["9.2.3"]
+        ghc: ["9.2.4"]
     runs-on: ${{ matrix.os }}
     steps:
       - name: Checkout our repository

package.yaml

@@ -5,7 +5,7 @@ license-file:    LICENSE
 copyright:       (c) 2022- Heliax AG.
 maintainer:      The PLT Team at Heliax AG <hello@heliax.dev>
 author:          [ Jonathan Prieto-Cubides , Jan Mas Rovira , Paul Cadman , Github's contributors ]
-tested-with:     ghc == 9.2.3
+tested-with:     ghc == 9.2.4
 homepage:        https://juvix.org
 bug-reports:     https://github.com/anoma/juvix/issues
 description:     The Juvix compiler

stack.yaml

@@ -1,3 +1,3 @@
 ghc-options:
   "$locals": -optP-Wno-nonportable-include-path
-resolver: nightly-2022-06-15
+resolver: nightly-2022-08-04