From c4a5a0a4e879b5ff25043b2f0dc76e95e7066a78 Mon Sep 17 00:00:00 2001
From: Bryan Gin-ge Chen <bryangingechen@gmail.com>
Date: Mon, 9 Dec 2024 12:09:38 -0500
Subject: [PATCH] bump dependencies

---
 .github/workflows/docs.yaml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 72177d74c95..818bf1ff4b8 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -25,14 +25,14 @@ jobs:
           rm -rf $HOME/.cache/mathlib
 
       - name: Checkout repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           repository: leanprover-community/mathlib4_docs
           path: mathlib4_docs
 
 
       - name: Checkout mathlib
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           repository: leanprover-community/mathlib4
           path: mathlib4
@@ -103,13 +103,13 @@ jobs:
           cp mathlib4/mathlib.html workaround/.lake/build/doc
 
       - name: Upload artifact
-        uses: actions/upload-pages-artifact@v1
+        uses: actions/upload-pages-artifact@v3
         with:
           path: 'workaround/.lake/build/doc'
 
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v1
+        uses: actions/deploy-pages@v4
 
       - name: clean up
         if: always()