From 4947659c21e292bc637c737ecbf113a478b21016 Mon Sep 17 00:00:00 2001 From: Oling Cat Date: Sat, 27 Apr 2024 20:31:30 +0800 Subject: [PATCH] Update deploy.yml --- .github/workflows/deploy.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 0fb06eb..2f531ba 100644 --- 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