diff --git a/ci/cleaning_fs.sh b/ci/cleaning_fs.sh index 17b94ffae4a4ba7a438cbc16b5d78086f0e0959c..f104fb30540ae0e7a93962e3fff8105169219a77 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