Merge pull request #175 from oscarbenjamin/pr_sympy_ci

Add CI job to test against released SymPy

Author: oscarbenjamin

.github/workflows/buildwheel.yml

@@ -138,6 +138,26 @@ jobs:
       - run: pip install .
       - run: python -m flint.test --verbose
 
+  # Run SymPy test suite against python-flint master
+  test_sympy:
+    name: Test SymPy ${{ matrix.sympy-version }}
+    runs-on: ubuntu-24.04
+    strategy:
+      fail-fast: false
+      matrix:
+        sympy-version: ['1.13.1']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: '3.12'
+      - run: sudo apt-get update
+      - run: sudo apt-get install libflint-dev
+      - run: pip install .
+      - run: pip install pytest pytest-xdist hypothesis
+      - run: pip install sympy==${{ matrix.sympy-version }}
+      - run: python -c 'import sympy; sympy.test(parallel=True)'
+
   # For older Ubuntu we have to build Flint >= 3.0.0
   test_flint_versions:
     name: Test flint ${{ matrix.flint-tag }}