opne line

epfl-lara · Dec 11, 2024 · 1e37eb4 · 1e37eb4
1 parent ffa9338
commit 1e37eb4
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
@@ -24,10 +24,7 @@ jobs:
         distribution: temurin
         java-version: 17
     - name: Setup temp folder
-      run: echo "JAVA_OPTS_TMP_DIR=$GITHUB_WORKSPACE//tmp_java" >> "$GITHUB_ENV" && \
-            echo "JAVA_OPTS=$JAVA_OPTS -Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR" >> "$GITHUB_ENV" && \
-            echo "JVM_OPTS=$JVM_OPTS -Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR" >> "$GITHUB_ENV" && \
-            echo "SBT_OPTS=-Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR --sbt-dir $JAVA_OPTS_TMP_DIR" >> "$GITHUB_ENV"
+      run: echo "JAVA_OPTS_TMP_DIR=$GITHUB_WORKSPACE//tmp_java" >> "$GITHUB_ENV" && echo "JAVA_OPTS=$JAVA_OPTS -Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR" >> "$GITHUB_ENV" && echo "JVM_OPTS=$JVM_OPTS -Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR" >> "$GITHUB_ENV" && echo "SBT_OPTS=-Djava.io.tmpdir=$JAVA_OPTS_TMP_DIR --sbt-dir $JAVA_OPTS_TMP_DIR" >> "$GITHUB_ENV"
     - name: Install and unpack sbt
       run: |
         wget https://github.com/sbt/sbt/releases/download/v1.10.1/sbt-1.10.1.tgz