From 039c695bb35ec8491827011d9b0cfa2b5826e67b Mon Sep 17 00:00:00 2001
From: Bryan Gin-ge Chen <bryangingechen@gmail.com>
Date: Tue, 5 Nov 2024 17:59:42 -0500
Subject: [PATCH] Update book.yml

---
 .github/workflows/book.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"