test: test both coverage builds in CI

Author: oscarbenjamin

.github/workflows/buildwheel.yml

@@ -17,7 +17,7 @@ jobs:
 
       - uses: actions/setup-python@v5
         with:
-          python-version: '3.12'
+          python-version: '3.13'
 
       - uses: msys2/setup-msys2@v2
         with:
@@ -65,7 +65,7 @@ jobs:
 
       - uses: actions/setup-python@v5
         with:
-          python-version: '3.12'
+          python-version: '3.13'
 
       - run: bin/install_latest_flint_ubuntu.sh
       - run: pip install build
@@ -111,7 +111,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v5
         with:
-          python-version: '3.12'
+          python-version: '3.13'
       - run: sudo apt-get update
       - run: sudo apt-get install libflint-dev
       - run: pip install .
@@ -124,7 +124,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v5
         with:
-          python-version: '3.12'
+          python-version: '3.13'
       - run: bin/install_latest_flint_ubuntu.sh
       - run: pip install --upgrade pip
       - run: pip install -r requirements-dev.txt
@@ -139,7 +139,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v5
         with:
-          python-version: '3.12'
+          python-version: '3.13'
       - run: sudo apt-get update
       - run: sudo apt-get install libflint-dev
       # The versions of cython and meson-python here should be kept in sync
@@ -166,7 +166,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v5
         with:
-          python-version: '3.12'
+          python-version: '3.13'
       - run: bin/install_flint_ubuntu.sh ${{ matrix.flint-tag }}
       - run: pip install .
       - run: python -m flint.test --verbose
@@ -179,7 +179,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v5
         with:
-          python-version: '3.12'
+          python-version: '3.13'
       - run: bin/install_flint_ubuntu.sh main
       # Need to disable flint version check to build against main
       - run: pip install --config-settings=setup-args="-Dflint_version_check=false" .
@@ -193,12 +193,23 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v5
         with:
-          python-version: '3.12'
+          python-version: '3.13'
+      - run: sudo apt-get update
+      - run: sudo apt-get install libflint-dev
+      - run: pip install -r requirements-dev.txt
+      - run: bin/coverage_setuptools.sh
+
+  # Test that we can make a coverage build and report coverage
+  test_coverage_build:
+    name: Test coverage meson build
+    runs-on: ubuntu-24.04
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: '3.13'
       - run: sudo apt-get update
       - run: sudo apt-get install libflint-dev
-      # Need Cython's master branch until 3.1 is released because of:
-      # https://github.com/cython/cython/pull/6341
-      - run: pip install git+https://github.com/cython/cython.git@master
       - run: pip install -r requirements-dev.txt
       - run: bin/coverage.sh
 
@@ -210,7 +221,7 @@ jobs:
       fail-fast: false
       matrix:
         os: [ubuntu-24.04]
-        python-version: ['3.13-dev']
+        python-version: ['3.13', '3.14-dev']
     steps:
       - uses: actions/checkout@v4
       # Can't use actions/setup-python
@@ -245,7 +256,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v5
         with:
-          python-version: '3.12'
+          python-version: '3.13'
       - run: sudo apt-get update
       - run: sudo apt-get install libflint-dev
       - run: pip install .

bin/coverage.sh

@@ -19,8 +19,8 @@ RC="--rcfile=.coveragerc.meson"
 
 # See https://github.com/cython/cython/issues/6658
 # Needed for Python 3.13 only
-#pip uninstall cython
-#pip install git+https://github.com/cython/cython.git@fdbca99
+pip uninstall cython
+pip install git+https://github.com/cython/cython.git@fdbca99
 
 meson setup build -Dcoverage=true
 spin run -- coverage run $RC -m flint.test $@

bin/coverage_setuptools.sh

@@ -1,13 +1,15 @@
 #!/bin/bash
 
+set -e
+
 RC="--rcfile=.coveragerc.setuptools"
 
 # Comment out various lines below for speed if running multiple times.
 
 # See https://github.com/cython/cython/issues/6658
 # Needed for Python 3.13 only
-#pip uninstall cython
-#pip install git+https://github.com/cython/cython.git@fdbca99
+pip uninstall cython
+pip install git+https://github.com/cython/cython.git@fdbca99
 
 touch src/*/*/*.pyx
 PYTHON_FLINT_COVERAGE=1 python setup.py build_ext --inplace