Disable Flint version check to test against main

Author: oscarbenjamin

.github/workflows/buildwheel.yml

@@ -181,7 +181,7 @@ jobs:
       fail-fast: false
       matrix:
         # Supported versions and latest git
-        flint-tag: ['v3.0.0', 'v3.0.1', 'v3.1.0', 'v3.1.1', 'v3.1.2', 'main']
+        flint-tag: ['v3.0.0', 'v3.0.1', 'v3.1.0', 'v3.1.1', 'v3.1.2']
     steps:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v5
@@ -191,6 +191,24 @@ jobs:
       - run: pip install .
       - run: python -m flint.test --verbose
 
+  # Test against flint main (with disabled version check)
+  test_flint_versions:
+    name: Test flint ${{ matrix.flint-tag }}
+    runs-on: ubuntu-22.04
+    strategy:
+      fail-fast: false
+      matrix:
+        # Supported versions and latest git
+        flint-tag: ['main']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: '3.12'
+      - run: bin/install_flint_ubuntu.sh ${{ matrix.flint-tag }}
+      - run: pip install --config-settings=setup-args="-Dflint_version_check=false" .
+      - run: python -m flint.test --verbose
+
   # Deploy wheels and sdist to PyPI
 
   pypi_release: