Merge pull request #1969 from GaloisInc/T1968

README: Note GHC 9.2.6-or-later requirement

.github/workflows/ci.yml

@@ -373,7 +373,6 @@ jobs:
           - name: Install on MacOS
             test: |
               cd saw-remote-api/python/
-              poetry update
               poetry install
               poetry run mypy --install-types --non-interactive saw_client/ || true
               poetry run mypy --install-types --non-interactive saw_client/

README.md

@@ -45,6 +45,9 @@ To build SAWScript and related utilities from source:
     to install them: <https://www.haskell.org/ghcup/>. We recommend
     Cabal 3.4 or newer, and GHC 8.10, 9.2, or 9.4.
 
+    (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).)
+
   * Ensure that you have the C libraries and header files for
     `terminfo`, which generally comes as part of `ncurses` on most
     platforms. On Fedora, it is part of the `ncurses-compat-libs` package.

saw-remote-api/scripts/run_rpc_tests.sh

@@ -13,7 +13,6 @@ function run_test {
 }
 
 echo "Setting up python environment for remote server clients..."
-poetry update
 poetry install
 
 echo "Typechecking code with mypy..."

saw-remote-api/scripts/test_docker.sh

@@ -38,7 +38,6 @@ sleep 5 # let the server catch its breath and be ready for requests
 
 
   echo "Setting up python environment for remote server clients...";
-  poetry update;
   poetry install;
 
   export SAW_SERVER_URL="http://localhost:8080/";