windows workflow

hhu-adam · Aug 20, 2024 · 9ed7107 · 9ed7107
1 parent d3506bb
commit 9ed7107
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -46,7 +46,9 @@ jobs:
           submodules: true
       - name: install elan
         run: |
-          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
+          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf
+          sh elan-init.sh -y
+          echo "$HOME/.elan/bin" >> $GITHUB_PATH
       - name: print lean and lake versions
         run: |
           lean --version