Merge pull request #84 from lean-ja/dependabot/github_actions/peaceir…

…is/actions-mdbook-2 Bump peaceiris/actions-mdbook from 1 to 2
lean-ja · May 29, 2024 · 9b88858 · 9b88858
2 parents 7ff801c + fb60254
commit 9b88858
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -34,7 +34,7 @@ jobs:
           echo "$HOME/.elan/bin" >> $GITHUB_PATH
 
       - name: Setup mdBook
-        uses: peaceiris/actions-mdbook@v1
+        uses: peaceiris/actions-mdbook@v2
         with:
           mdbook-version: '0.4.32'