fix lean test workflow

Author: aplr

.github/workflows/lean_test.yml

@@ -45,4 +45,4 @@ jobs:
         uses: actions/upload-artifact@v4
         with:
           name: evaluation_function
-          path: ./lake/build/bin/${{ inputs.binary-name }}
+          path: ./.lake/build/bin/${{ inputs.binary-name }}