Removed echo

epfl-lara · Sep 16, 2024 · 2484eab · 2484eab
1 parent 837f09f
commit 2484eab
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/stainless-ci.sh b/stainless-ci.sh
@@ -121,7 +121,6 @@ else
     wget https://github.com/sbt/sbt/releases/download/v1.10.1/$SBT_NAME -O $SBT_DIR/$SBT_NAME --no-verbose
     echo "  unpack $SBT_NAME"
     cd $SBT_DIR
-    echo "  now I am in " `pwd`
     tar xfz $SBT_NAME
 
     cd $ROOT_DIR