diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
index a5306cb4b..c0a2669db 100644
--- a/.github/workflows/stainless-CI.yml
+++ b/.github/workflows/stainless-CI.yml
@@ -13,7 +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 }}
+      JAVA_OPTS_TMP_DIR: /tmp/tmp_${{ github.run_id }}_${{ github.run_attempt }}
     steps:
     - name: Checkout
       uses: actions/checkout@v4