ci: report integration coverage

.gitea/workflows/test.yml

@@ -68,5 +68,11 @@ jobs:
             echo "docker not on PATH — integration tests will skip"
           fi
 
+      - name: Install dev requirements
+        run: python3 -m pip install -r requirements-dev.txt
+
       - name: Run integration tests
-        run: python3 -m unittest discover -t . -s tests/integration -v
+        run: python3 -m coverage run -m unittest discover -t . -s tests/integration -v
+
+      - name: Report integration coverage
+        run: python3 -m coverage report -m

.gitea/workflows/update-badges.yml

@@ -41,10 +41,11 @@ jobs:
           echo "score=$SCORE" >> $GITHUB_OUTPUT
           echo "Pylint score: $SCORE"
 
-      - name: Run unit tests and extract coverage
+      - name: Run tests and extract coverage
         id: coverage
         run: |
           python -m coverage run -m unittest discover -t . -s tests/unit -v
+          python -m coverage run -a -m unittest discover -t . -s tests/integration -v
           TOTAL=$(python -m coverage report --format=total)
           echo "total=$TOTAL" >> $GITHUB_OUTPUT
           echo "Coverage total: $TOTAL"