fix: artifact upload on windows

leanprover · Dec 15, 2021 · 8cabc55 · 8cabc55
1 parent 37dc1c8
commit 8cabc55
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -66,7 +66,7 @@ jobs:
         uses: actions/upload-artifact@v2
         with:
           name: ${{ matrix.os }}
-          path: build/bin/leanInk
+          path: build
 
       - name: Run tests
         run: make -C test run_tests