From b0301483ff6b98d13f1191693bead3c6d716154a Mon Sep 17 00:00:00 2001 From: rudy Date: Thu, 2 May 2024 16:18:29 +0200 Subject: [PATCH] chore(frontend-python): requires 99% coverage --- frontends/concrete-python/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/concrete-python/Makefile b/frontends/concrete-python/Makefile index 98998520cc..420e5d2801 100644 --- a/frontends/concrete-python/Makefile +++ b/frontends/concrete-python/Makefile @@ -71,7 +71,7 @@ pytest-multi: --precision=multi \ --strategy=multi \ --cov=concrete.fhe \ - --cov-fail-under=95 \ + --cov-fail-under=99 \ --cov-report=term-missing:skip-covered \ --key-cache "${KEY_CACHE_DIRECTORY}" \ -m "${PYTEST_MARKERS}"