ci: also compute coverage with Python 3.11 for PRs

Safe-DS · Aug 10, 2023 · 3ad713b · 3ad713b
1 parent 1fe0223
commit 3ad713b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -20,6 +20,6 @@ jobs:
       working-directory: .
       python-version: ${{ matrix.python-version }}
       module-name: safeds_runner
-      coverage: ${{ matrix.python-version == '3.10' }}
+      coverage: ${{ matrix.python-version == '3.11' }}
     secrets:
       CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}