From 24c0f26c0a0325ad87dd5762ce4b8c50d88732e4 Mon Sep 17 00:00:00 2001
From: Stefan Bender <sbender@iaa.es>
Date: Wed, 10 Apr 2024 00:31:47 +0200
Subject: [PATCH] CI: Set `COVERAGE_CORE` to speed up tests

Sets `COVERAGE_CORE` to "sysmon" to speed up testing on Python 3.12.
The "normal" setting is very slow on Python 3.12 when also checking the
line coverage.
---
 .github/workflows/ci_build_and_test.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci_build_and_test.yml b/.github/workflows/ci_build_and_test.yml
index 2efb46b..0992195 100644
--- a/.github/workflows/ci_build_and_test.yml
+++ b/.github/workflows/ci_build_and_test.yml
@@ -64,6 +64,8 @@ jobs:
         run: |
           py.test -v --doctest-glob='*.md' --cov src
           coveralls --build-root=. --include=src --dump=cpp-coveralls.json
+        env:
+          COVERAGE_CORE: sysmon
       - name: Convert coverage
         run: python -m coverage xml
       - name: Upload coverage report