From 65d209422631c5d0c4c8838a30c9890d9730852b Mon Sep 17 00:00:00 2001
From: arnaudon <alexis.arnaudon@epfl.ch>
Date: Wed, 15 Nov 2023 10:31:32 +0100
Subject: [PATCH] tox

---
 tox.ini | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tox.ini b/tox.ini
index 56a1f5f..9288620 100644
--- a/tox.ini
+++ b/tox.ini
@@ -17,6 +17,8 @@ extras = all
 commands = pytest -s \
     --basetemp={envtmpdir} \
     --cov={[base]name} \
+    --no-cov-on-fail \
+    --cov-report term-missing \
     --cov-fail-under=100
 
 allowlist_externals = make