Set PATH with $GITHUB_ENV

smarr · Jul 28, 2023 · 0bc6148 · 0bc6148
1 parent beb864c
commit 0bc6148
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -14,7 +14,7 @@ jobs:
       - name: Setup MX
         run: |
           git clone --depth 1 https://github.com/graalvm/mx.git
-          export PATH=$PATH:`pwd`/mx
+          echo "PATH=$PATH:`pwd`/mx" >> "$GITHUB_ENV"
 
       - name: CheckStyle
         run: |