Skip to content
Snippets Groups Projects

Correcting ci for deployment

Merged Correcting ci for deployment
correcting-ci-for-deployment into main
Merged Nicolas Richart requested to merge correcting-ci-for-deployment into main
Viewing commit 04b30067
Prev Next
Show latest version
1 file
+ 1
− 0
Compare changes
  • Side-by-side
  • Inline
ci/cleaning_fs.sh
+ 1
− 0
@@ -10,5 +10,6 @@ do
@@ -10,5 +10,6 @@ do
if [ $id -le ${CI_PIPELINE_ID} ]
if [ $id -le ${CI_PIPELINE_ID} ]
then
then
echo "Cleaning $i"
echo "Cleaning $i"
 
rm -rf $i
fi
fi
done
done