Fix CI job name

flintlib · Feb 7, 2025 · 342a9d5 · 342a9d5
1 parent 9763872
commit 342a9d5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/buildwheel.yml b/.github/workflows/buildwheel.yml
@@ -186,7 +186,7 @@ jobs:
       - run: python -m flint.test --verbose
 
   # Test that we can make a coverage build and report coverage
-  test_coverage_build:
+  test_coverage_build_setuptools:
     name: Test coverage setuptools build
     runs-on: ubuntu-24.04
     steps:

diff --git a/coverage_plugin.py b/coverage_plugin.py
@@ -128,6 +128,7 @@ class CyFileTracer(FileTracer):
     """File tracer for Cython files (.pyx,.pxd)."""
 
     def __init__(self, srcpath):
+        print(srcpath)
         assert (src_dir / srcpath).exists()
         self.srcpath = srcpath