From 88dcfaffd43401a799e540f5cb64602b575ca548 Mon Sep 17 00:00:00 2001 From: Samuel Chassot Date: Wed, 11 Dec 2024 10:15:19 +0100 Subject: [PATCH] = remove --- .github/workflows/bolts-CI.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/bolts-CI.yml b/.github/workflows/bolts-CI.yml index 3f5030e6..060ef192 100644 --- a/.github/workflows/bolts-CI.yml +++ b/.github/workflows/bolts-CI.yml @@ -23,7 +23,7 @@ jobs: distribution: temurin java-version: 17 - name: Setup temp folder - run: echo "JAVA_OPTS_TMP_DIR=$GITHUB_WORKSPACE/.local/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/.local/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 stainless and solvers run: ./install_stainless_and_solvers.sh $GITHUB_WORKSPACE/.local/bin $GITHUB_WORKSPACE/.local && echo "PATH=$GITHUB_WORKSPACE/.local/bin:$PATH" >> "$GITHUB_ENV" - name: Add stainless to PATH