From 0a1dae9161ddea6f498f3f990dec27c24a23aa08 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Chapoton?= Date: Thu, 27 Jun 2024 18:27:10 +0200 Subject: [PATCH] Update src/tox.ini Co-authored-by: Kwankyu Lee --- src/tox.ini | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tox.ini b/src/tox.ini index 9eb2c7d51ea..f0020362ae5 100644 --- a/src/tox.ini +++ b/src/tox.ini @@ -388,7 +388,7 @@ consider_namespace_packages = True [coverage:run] source = sage -concurrency = multiprocessing,threads +concurrency = multiprocessing,thread data_file = .coverage/.coverage disable_warnings = no-data-collected