From be7e1a4a2a8118a25ecbe38e4eb5bbab4f8848ea Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <hugovk@users.noreply.github.com>
Date: Sun, 17 Dec 2023 13:52:26 +0200
Subject: [PATCH] Don't 'make clean' in CI, it's already clean

---
 .ci/build.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.ci/build.sh b/.ci/build.sh
index e678f68ec85..7309bf7d36e 100755
--- a/.ci/build.sh
+++ b/.ci/build.sh
@@ -6,5 +6,4 @@ python3 -m coverage erase
 if [ $(uname) == "Darwin" ]; then
     export CPPFLAGS="-I/usr/local/miniconda/include";
 fi
-make clean
 make install-coverage