update ci

anoma · Aug 15, 2022 · 69c741f · 69c741f
1 parent 1d82063
commit 69c741f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.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

diff --git a/package.yaml b/package.yaml
@@ -5,7 +5,7 @@ license-file:    LICENSE
 copyright:       (c) 2022- Heliax AG.
 maintainer:      The PLT Team at Heliax AG <[email protected]>
 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