fix: GITHUB_PATH has to use backslashes on windows.

leanprover · Sep 1, 2022 · 7712fb3 · 7712fb3
1 parent 2d428f6
commit 7712fb3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -49,7 +49,7 @@ jobs:
         run: |
           curl -O --location https://raw.githubusercontent.com/leanprover/elan/master/elan-init.ps1
           .\elan-init.ps1 -NoPrompt 1 -DefaultToolchain none
-          echo "$HOME/.elan/bin" >> $GITHUB_PATH
+          echo "$HOME\.elan\bin" >> $env:GITHUB_PATH
 
       # Build and test
       - name: Build LeanInk