fix: addressing first round of feedback

BerkeleyLearnVerify · Mar 12, 2024 · 60a0bf0 · 60a0bf0
1 parent 8498701
commit 60a0bf0
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/run-coverage.yml b/.github/workflows/run-coverage.yml
@@ -56,5 +56,4 @@ jobs:
 
     - name: Run and report code coverage
       run: |
-        coverage run -m pytest
-        coverage report -m
+        pytest --cov