trying to reduce path

epfl-lara · Dec 11, 2024 · d89c72a · d89c72a
1 parent ee92cbf
commit d89c72a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
@@ -24,7 +24,7 @@ jobs:
         distribution: temurin
         java-version: 17
     - name: Setup temp directory
-      run: echo "JAVA_OPTS_TMP_DIR=$GITHUB_WORKSPACE/tmp_java" >> "$GITHUB_ENV"
+      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" && \