diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 7d9e191..63f2580 100644
--- 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: |