From 516bf217f053996f73a13ce1b400af4551437e12 Mon Sep 17 00:00:00 2001
From: Samuel Chassot <samuel.chassot@epfl.ch>
Date: Thu, 5 Sep 2024 09:47:16 +0200
Subject: [PATCH] java options

---
 .github/workflows/inox-CI.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/inox-CI.yml b/.github/workflows/inox-CI.yml
index 66b8edd82..e8cc4bee8 100644
--- 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