Update ci.yml

Author: stuck-inadream

.github/workflows/ci.yml

@@ -12,17 +12,9 @@ jobs:
       - uses: actions/setup-python@v5
         with:
           python-version: "3.11"
-      - name: Install pytest only
+      - name: Install deps
         run: |
           python -m pip install --upgrade pip
-          pip install pytest==8.3.3
-      - name: Show repo and test file
-        run: |
-          python -V
-          ls -la
-          echo "--- tests dir ---"
-          ls -la tests || true
-          echo "--- test file content ---"
-          test -f tests/test_ci.py && sed -n '1,120p' tests/test_ci.py || echo "tests/test_ci.py is missing"
-      - name: Run just this file
-        run: pytest -vv tests/test_ci.py
+          pip install pytest==8.3.3 z3-solver==4.13.0.0
+      - name: Run tests
+        run: pytest -ra