CI: Test GHC 9.6.3, drop 8.10.7

.github/workflows/ci.yml

@@ -78,7 +78,7 @@ jobs:
       matrix:
         os: [ubuntu-22.04, macos-12, windows-2019]
         cabal: ["3.10.1.0"]
-        ghc: ["8.10.7", "9.2.7", "9.4.4"]
+        ghc: ["9.2.7", "9.4.4", "9.6.3"]
         run-tests: [true]
         hpc: [false]
         include:
@@ -96,18 +96,6 @@ jobs:
             cabal: "3.10.1.0"
             run-tests: true
             hpc: true
-        exclude:
-          # We exclude the GHC 8.10.7 job on Windows, as it is known to suffer
-          # from a hard-to-diagnose memory-related issue that does not affect
-          # later versions of GHC on Windows. (See
-          # https://github.com/GaloisInc/saw-script/issues/1961.) When we drop
-          # support for 8.10 entirely from SAW's support Window, we can remove
-          # this part of the matrix entirely.
-          - os: windows-2019
-            ghc: "8.10.7"
-            cabal: "3.10.1.0"
-            run-tests: true
-            hpc: false
     outputs:
       cabal-test-suites-json: ${{ steps.cabal-test-suites.outputs.targets-json }}
     steps:

README.md

@@ -43,7 +43,7 @@ To build SAWScript and related utilities from source:
   * Ensure that you have the `cabal` and `ghc` executables in your
     `PATH`. If you don't already have them, we recommend using `ghcup`
     to install them: <https://www.haskell.org/ghcup/>. We recommend
-    Cabal 3.4 or newer, and GHC 8.10, 9.2, or 9.4.
+    Cabal 3.10 or newer, and GHC 9.2, 9.4, or 9.6.
 
     (If you are using the GHC 9.2 series, make sure to use 9.2.6 or later
     to avoid [this bug](https://gitlab.haskell.org/ghc/ghc/-/issues/22491).)