From 26f0219e387eed6ff6e82673fd44414eb74bbc01 Mon Sep 17 00:00:00 2001 From: Avimitin Date: Mon, 3 Feb 2025 00:44:34 +0800 Subject: [PATCH] [ci] fix mill env --- .github/workflows/checkfmt.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/checkfmt.yml b/.github/workflows/checkfmt.yml index 4fcf76b..c43893a 100644 --- a/.github/workflows/checkfmt.yml +++ b/.github/workflows/checkfmt.yml @@ -32,6 +32,8 @@ jobs: - name: "Check Scala format" if: "!cancelled()" run: | + echo "$JAVA_OPTS" | tr ' ' '\n' > mill-java-opts + export MILL_JVM_OPTS_PATH=$PWD/mill-java-opts nix develop -c bash -c 'mill -i gcd.checkFormat && mill -i elaborator.checkFormat' - name: "Check Rust format" if: "!cancelled()"