From 536529c36cb2db49bfd11f31bf4f147176afbd89 Mon Sep 17 00:00:00 2001
From: Joris van Rantwijk <joris@jorisvr.nl>
Date: Fri, 14 Apr 2023 11:23:32 +0200
Subject: [PATCH] Check Python unittest coverage

---
 .github/workflows/main.yml | 25 ++++++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 48da7eb..d6d458f 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -29,18 +29,41 @@ jobs:
       - name: Run pylint
         run: pylint --ignore=test_mwmatching.py python tests
 
+  # Run tests on Python code.
+  full-test-python:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Set up Python 3.11
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.11'
+      - name: Install dependencies
+        run: pip install --upgrade coverage
+      - name: Show Python version
+        run: python3 --version
+      - name: Run unittests
+        run: python3 python/test_mwmatching.py
+      - name: Check unittest coverage
+        run: |
+          coverage erase
+          coverage run --branch python/test_mwmatching.py
+          coverage report -m --fail-under=99
+
   # Run unittests on multiple Python versions.
   unittest-python:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        python-version: ["3.7", "3.8", "3.9", "3.10", "3.11", "3.12-dev"]
+        python-version: ["3.7", "3.8", "3.9", "3.10", "3.12-dev", "pypy3.9"]
     steps:
       - uses: actions/checkout@v3
       - name: Set up Python ${{ matrix.python-version }}
         uses: actions/setup-python@v4
         with:
           python-version: ${{ matrix.python-version }}
+      - name: Show Python version
+        run: python3 --version
       - name: Run unittests
         run: python3 python/test_mwmatching.py