fix: run Lake packing through Bash

Author: Qiu233

.github/workflows/release.yml

@@ -72,7 +72,9 @@ jobs:
           use-github-cache: false
 
       - name: Pack Lake build archive
-        run: lake pack
+        shell: bash
+        run: |
+          "$HOME/.elan/bin/lake" pack
 
       - name: Stage Lake build archive
         uses: actions/upload-artifact@v4