From 676bc8a3f1f388f68fe0d8d8482fb274d89a0246 Mon Sep 17 00:00:00 2001
From: Frederik Hennig <frederik.hennig@fau.de>
Date: Fri, 11 Apr 2025 14:43:09 +0200
Subject: [PATCH] don't run coverage report

---
 noxfile.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/noxfile.py b/noxfile.py
index cda25f9d..3f3c630c 100644
--- a/noxfile.py
+++ b/noxfile.py
@@ -117,8 +117,10 @@ def run_testsuite(session: nox.Session, coverage: bool = True):
         ]
 
     session.run(*args)
-    session.run("coverage", "html")
-    session.run("coverage", "xml")
+
+    if coverage:
+        session.run("coverage", "html")
+        session.run("coverage", "xml")
 
 
 @nox.session(python=["3.10", "3.11", "3.12", "3.13"])
-- 
GitLab