temporary fix , with one temp folder per CI, which is cleaned up anyway

epfl-lara · Dec 11, 2024 · ce6ac8b · ce6ac8b
1 parent d89c72a
commit ce6ac8b
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
@@ -13,6 +13,7 @@ jobs:
       # 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_TMP_DIR: /tmp_${{ github.run_id }}_${{ github.run_attempt }}
     steps:
     - name: Checkout
       uses: actions/checkout@v4
@@ -23,8 +24,6 @@ jobs:
       with:
         distribution: temurin
         java-version: 17
-    - name: Setup temp directory
-      run: echo "JAVA_OPTS_TMP_DIR=$GITHUB_WORKSPACE/t" >> "$GITHUB_ENV"
     - name: Setup java options
       run: |
           echo "JAVA_OPTS=$JAVA_OPTS -Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR" >> "$GITHUB_ENV" && \