From 175df63b6f16969fa9deeeb790db7d8a9625e31a Mon Sep 17 00:00:00 2001 From: Samuel Chassot Date: Thu, 10 Oct 2024 15:46:09 +0200 Subject: [PATCH] add a temp folder for nightly too --- .github/workflows/stainless-nightly.yml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/workflows/stainless-nightly.yml b/.github/workflows/stainless-nightly.yml index fb1cb0d69..70d831f3f 100644 --- 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