diff --git a/.github/workflows/book.yml b/.github/workflows/book.yml index a85687b..c8b04c5 100644 --- a/.github/workflows/book.yml +++ b/.github/workflows/book.yml @@ -43,7 +43,7 @@ jobs: - name: Upload PDF to artifact storage if: github.ref != 'refs/heads/master' - uses: actions/upload-artifact@v3 + uses: actions/upload-artifact@v4 with: name: "Metaprogramming in Lean 4" path: "Metaprogramming in Lean 4.pdf"