Revert "add a temp folder for nightly too"

This reverts commit 175df63.
epfl-lara · Oct 10, 2024 · fbdd54b · fbdd54b
1 parent 175df63
commit fbdd54b
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/.github/workflows/stainless-nightly.yml b/.github/workflows/stainless-nightly.yml
@@ -7,10 +7,9 @@ jobs:
   bolts:
     runs-on: [self-hosted, linux]
     env:
-      JAVA_OPTS_TMP_DIR: ./tmp_java
       # define Java options for both official sbt and sbt-extras
-      JAVA_OPTS: -Dsbt.io.implicit.relative.glob.conversion=allow -Xss512M -Xms1024M -Xmx12G -XX:MaxMetaspaceSize=2G -XX:+UseCodeCacheFlushing -XX:ReservedCodeCacheSize=768M -Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR
-      JVM_OPTS:  -Dsbt.io.implicit.relative.glob.conversion=allow -Xss512M -Xms1024M -Xmx12G -XX:MaxMetaspaceSize=2G -XX:+UseCodeCacheFlushing -XX:ReservedCodeCacheSize=768M -Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR
+      JAVA_OPTS: -Dsbt.io.implicit.relative.glob.conversion=allow -Xss512M -Xms1024M -Xmx12G -XX:MaxMetaspaceSize=2G -XX:+UseCodeCacheFlushing -XX:ReservedCodeCacheSize=768M
+      JVM_OPTS:  -Dsbt.io.implicit.relative.glob.conversion=allow -Xss512M -Xms1024M -Xmx12G -XX:MaxMetaspaceSize=2G -XX:+UseCodeCacheFlushing -XX:ReservedCodeCacheSize=768M
     steps:
     - name: Checkout
       uses: actions/checkout@v4
@@ -36,5 +35,3 @@ jobs:
       run: ./stainless-ci.sh --build-only
     - name: Bolts Tests
       run: ./stainless-ci.sh --skip-build --skip-tests --skip-sbt-plugin
-    - name: Clean up
-      run: rm -rf $JAVA_OPTS_TMP_DIR