diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 8914910..988a72a 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -56,7 +56,7 @@ jobs:
           mv blueprint/web _site/blueprint
 
       - name: Deploy doc & blueprint
-        uses: peaceiris/actions-gh-pages@v4
+        uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.github_token }}
           publish_dir: _site
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 0a68b55..5eece1d 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -48,7 +48,7 @@ jobs:
       - name: Build project
         run: ~/.elan/bin/lake -R -Kenv=dev build FltRegular
 
-      - uses: actions/cache@v4
+      - uses: actions/cache@v3
         name: Mathlib doc Cache
         with:
           path: build/doc/Mathlib