From 04b30067aedf5a3415d4879566bf8fbaf87a02fd Mon Sep 17 00:00:00 2001
From: Nicolas Richart <nicolas.richart@epfl.ch>
Date: Sat, 31 Aug 2024 16:11:17 +0200
Subject: [PATCH] Actually removing files
---
ci/cleaning_fs.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/ci/cleaning_fs.sh b/ci/cleaning_fs.sh
index 17b94ff..f104fb3 100755
--- a/ci/cleaning_fs.sh
+++ b/ci/cleaning_fs.sh
@@ -10,5 +10,6 @@ do
if [ $id -le ${CI_PIPELINE_ID} ]
then
echo "Cleaning $i"
+ rm -rf $i
fi
done
--
GitLab