From 7bd9909be8ccd74ea284f9c437ee87ff54916f8f Mon Sep 17 00:00:00 2001
From: Avimitin <dev@avimit.in>
Date: Fri, 7 Feb 2025 01:26:55 +0800
Subject: [PATCH] [ci] fix java opts not passing to fork process issue

---
 .github/workflows/lint.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 096d8e3de..60e6b1614 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -22,7 +22,10 @@ jobs:
         with:
           ref: ${{ github.event.pull_request.head.sha }}
       - name: "Check Scala code format"
-        run: nix run ".#t1.elaborator.format" check
+        run: |
+          echo "$JAVA_OPTS" | tr ' ' '\n' > "$HOME/.mill-java-opts"
+          export MILL_JVM_OPTS_PATH="$HOME/.mill-java-opts"
+          nix run ".#t1.elaborator.format" check
       - name: "Check difftest code format"
         run: |
           nix shell '.#cargo' '.#rustfmt' -c bash -c 'cd difftest && cargo fmt --check'