fix: install z3 dependency group instead of z3-solver in test initial…

…ization
pyta-uoft · Jan 5, 2025 · bbe7a51 · bbe7a51
1 parent 7ab0814
commit bbe7a51
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -41,7 +41,7 @@ jobs:
           python -m pip install --upgrade pip setuptools wheel
           pip install -e .[dev,cfg]
           if [ "${{ matrix.dependency }}" == "z3-solver" ]; then
-            pip install z3-solver
+            pip install .[z3]
           fi
       - name: Run tests
         run: |

diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -18,7 +18,7 @@ and adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
 ### 🔧 Internal changes
 
-- Configued CI tests to run on environments with and without `z3` dependency.
+- Configured CI tests to run on environments with and without `z3` dependency.
 
 ## [2.9.1] - 2024-12-09