update workflow

hhu-adam · Aug 20, 2024 · 4a1dcb2 · 4a1dcb2
1 parent e58b7f0
commit 4a1dcb2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -41,6 +41,8 @@ jobs:
           source ~/.profile
           elan toolchain install stable
           elan default stable
+          echo "$HOME/.elan/bin" >> $GITHUB_PATH
+          source ~/.profile
       - name: run lake build (macOS)
         if: matrix.os == 'macos-latest'
         run: |