From 7b3fcfdc3c7995bab7cb2ec47d1556e481484432 Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Sun, 15 Oct 2023 10:47:05 +0200
Subject: [PATCH] switch to peaceiris/mdbook github action

---
 .github/workflows/deploy.yml | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 12d2cca..f787d35 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -7,6 +7,14 @@ jobs:
       - uses: actions/checkout@v2
       - name: Install mdbook-mermaid
         run: cargo install mdbook-mermaid
-      - uses: XAMPPRocky/deploy-mdbook@v1.1
+      - name: Setup mdBook
+        uses: peaceiris/actions-mdbook@v1
         with:
-            token: ${{ secrets.GITHUB_TOKEN }}
+          mdbook-version: '0.4.35'
+      - run: mdbook build
+      - name: Deploy
+        uses: peaceiris/actions-gh-pages@v3
+        if: ${{ github.ref == 'refs/heads/main' }}
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./book