From 85c1684fe3c44d5e23b4f0407ca1599463d30973 Mon Sep 17 00:00:00 2001
From: Martin Geisler <mgeisler@google.com>
Date: Thu, 22 Dec 2022 15:01:55 +0100
Subject: [PATCH] Include version numbers when installing `mdbook`

---
 .github/workflows/publish.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 97207541..9ea5a61f 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -34,10 +34,10 @@ jobs:
       - uses: Swatinem/rust-cache@v2
 
       - name: Install mdbook
-        run: cargo install mdbook
+        run: cargo install mdbook --version 0.4.25
 
       - name: Install mdbook-svgbob
-        run: cargo install mdbook-svgbob
+        run: cargo install mdbook-svgbob --version 0.2.1
 
       - name: Build book
         run: mdbook build