Merge pull request #14 from YosysHQ/revert-10-ci_coverage

Revert "Add CI coverage"

Author: mmicko

.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

.gitignore

@@ -33,7 +33,6 @@ MANIFEST
 /.hypothesis
 /.coverage
 /.coverage.*
-/coverage.xml
 
 # user makefile config
 /Makefile.conf

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