chore: add mermaid

distantmagic · Jun 29, 2024 · 296246c · 296246c
1 parent 60a87ca
commit 296246c
Showing 1 changed file with 14 additions and 2 deletions.
diff --git a/.github/workflows/github_pages.yml b/.github/workflows/github_pages.yml
@@ -30,8 +30,20 @@ jobs:
             ~/.cargo/git/db/
             target/
           key: ${{ runner.os }}-cargo-registry-${{ hashFiles('**/Cargo.lock') }}
-      - name: install mdbook mdbook-mermaid
-        run: cargo install --force mdbook mdbook-mermaid
+      - name: Check and install mdbook if not already installed
+        run: |
+          if ! cargo install --list | grep -q "mdbook v"; then
+            cargo install mdbook
+          else
+            echo "mdbook is already installed"
+          fi
+      - name: Check and install mdbook-mermaid if not already installed
+        run: |
+          if ! cargo install --list | grep -q "mdbook-mermaid v"; then
+            cargo install mdbook-mermaid
+          else
+            echo "mdbook-mermaid is already installed"
+          fi
       - name: build book
         run: make build
       - name: Setup Pages