Revert "Add CI coverage"

YosysHQ · Apr 15, 2024 · c922424 · c922424
1 parent 8543895
commit c922424
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 10 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -13,13 +13,6 @@ jobs:
         run: make dev-install
       - name: Run tests
         run: make test
-      - name: Report
-        uses: 5monkeys/cobertura-action@master
-        with:
-          path: coverage.xml
-          minimum_coverage: 90
-          skip_covered: false
-          fail_below_threshold: true
 
   check:
     runs-on: ubuntu-20.04

diff --git a/.gitignore b/.gitignore
@@ -33,7 +33,6 @@ MANIFEST
 /.hypothesis
 /.coverage
 /.coverage.*
-/coverage.xml
 
 # user makefile config
 /Makefile.conf
diff --git a/Makefile b/Makefile
@@ -46,7 +46,7 @@ docs-%:
 
 test:
 	$(PYTHON) -m pytest \
-		--cov-report html --cov-report xml:coverage.xml --cov-report term \
+		--cov-report html --cov-report term \
 		--cov yosys_mau \
 		-n auto -q $(O)
 
@@ -71,4 +71,4 @@ dev-install:
 ci: formatting lint typecheck test docs-html
 
 clean: docs-clean
-	rm -rf .coverage .pytest_cache .mypy_cache .ruff_cache htmlcov coverage.xml
+	rm -rf .coverage .pytest_cache .mypy_cache .ruff_cache htmlcov