Dangling pop. What's a pop anyway

epfl-lara · Sep 16, 2024 · 94ac802 · 94ac802
1 parent 3aaa55b
commit 94ac802
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/stainless-ci.sh b/stainless-ci.sh
@@ -122,7 +122,6 @@ else
     cd $ROOT_DIR
     echo Testing ${SBT_DIR}/sbt/bin/sbt --version
     ${SBT_DIR}/sbt/bin/sbt --version
-    pop
     echo *******     ${SBT_DIR}/sbt/bin/sbt universal:stage ********
     ${SBT_DIR}/sbt/bin/sbt universal:stage
   if [ $? -ne 0 ]; then