add a temp folder for nightly too

epfl-lara · Oct 10, 2024 · 175df63 · 175df63
1 parent 7613719
commit 175df63
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/stainless-nightly.yml b/.github/workflows/stainless-nightly.yml
@@ -7,9 +7,10 @@ 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
-      JVM_OPTS:  -Dsbt.io.implicit.relative.glob.conversion=allow -Xss512M -Xms1024M -Xmx12G -XX:MaxMetaspaceSize=2G -XX:+UseCodeCacheFlushing -XX:ReservedCodeCacheSize=768M
+      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
     steps:
     - name: Checkout
       uses: actions/checkout@v4
@@ -35,3 +36,5 @@ 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