Update deploy.yml

Lean-zh · Apr 27, 2024 · 4947659 · 4947659
1 parent 81b0283
commit 4947659
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -14,7 +14,7 @@ jobs:
     - name: Download mdbook for Lean
       shell: bash
       run: |
-        curl -O --location https://github.com/leanprover/mdBook/releases/download/v0.4.6/mdbook-linux.tar.gz
+        curl -O --location https://github.com/leanprover/mdBook/releases/download/v0.4.15l2/mdbook-linux.tar.gz
         tar xvf mdbook-linux.tar.gz
         ./mdbook-linux/mdbook --help
         ldd ./mdbook-linux/mdbook
@@ -25,7 +25,7 @@ jobs:
         rm -rf ./out/.git
         rm -rf ./out/.github
     - name: Deploy 🚀
-      uses: JamesIves/github-pages-deploy-action@4.1.5
+      uses: JamesIves/github-pages-deploy-action@4.6
       with:
         branch: gh-pages
         folder: out