java options

epfl-lara · Sep 5, 2024 · 516bf21 · 516bf21
1 parent b6b3be9
commit 516bf21
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/inox-CI.yml b/.github/workflows/inox-CI.yml
@@ -10,8 +10,8 @@ jobs:
     runs-on: [self-hosted, linux]
     env:
       # define Java options for both official sbt and sbt-extras
-      JAVA_OPTS: -J-Xss64M -J-Xms1024M -J-Xmx8G 
-      JVM_OPTS:  -J-Xss64M -J-Xms1024M -J-Xmx8G 
+      JAVA_OPTS: -Xss64M -Xms1024M -Xmx8G 
+      JVM_OPTS:  -Xss64M -Xms1024M -Xmx8G 
     steps:
     - name: Checkout
       uses: actions/checkout@v4