fix: addressing third round of feedback

BerkeleyLearnVerify · Mar 14, 2024 · c101788 · c101788
1 parent f2def8a
commit c101788
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/run-coverage.yml b/.github/workflows/run-coverage.yml
@@ -56,7 +56,7 @@ jobs:
 
     - name: Run and report code coverage
       run: |
-        pytest --cov=. --cov-report json
+        pytest --cov --cov-report json
     
     - name: Upload coverage reports to Codecov
       uses: codecov/[email protected]

diff --git a/coverage.json b/coverage.json
diff --git a/pyproject.toml b/pyproject.toml
@@ -124,4 +124,4 @@ extend_skip_glob = [
 norecursedirs = ["examples"]
 
 [tool.coverage.run]
-source = ["."]
+source = ["src"]