mmm

leanprover-community · Jan 23, 2025 · e360a34 · e360a34
1 parent 2f4f633
commit e360a34
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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