Fixing build.yml tar directory

leanprover-community · Dec 12, 2023 · 62754d4 · 62754d4
1 parent d4ccfee
commit 62754d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -62,7 +62,7 @@ jobs:
         # All our runners are 64-bit ¯\_(ツ)_/¯
         run: |
           export COPYFILE_DISABLE=true
-          tar -c -z -f ./${LEAN_OS}-64.tar.gz -C ./.lake/build .
+          tar -c -z -f ./${LEAN_OS}-64.tar.gz -C ./build .
           gh release upload ${RELEASE_TAG} ./${LEAN_OS}-64.tar.gz
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}