Fix directory

epfl-lara · Sep 16, 2024 · 2711f72 · 2711f72
1 parent 1cc1d89
commit 2711f72
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/stainless-ci.sh b/stainless-ci.sh
@@ -108,6 +108,7 @@ fi
 if [ "$SKIP_BUILD" = true ]; then
  echo "************** Skipping build **************"
 else
+ push
  echo "************** sbt **************"
  SBT_DIR="temp" # make better later
  mkdir -p $SBT_DIR
@@ -120,6 +121,7 @@ else
 
  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