From ab6eabfa5008fa95f233935070d685790ffb5a99 Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Mon, 1 Jul 2024 14:13:49 -0700
Subject: [PATCH] Update CI to use mdbook-spec

---
 .github/workflows/main.yml | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index aff208478..227aeba5e 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -3,12 +3,25 @@ on:
   pull_request:
   merge_group:
 
+env:
+  MDBOOK_VERSION: 0.4.40
+  # When updating, be sure to also update rust-lang/rust.
+  MDBOOK_SPEC_VERSION: 0.1.0
+
 jobs:
   test:
     name: Test
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@master
+    - name: Cache
+      uses: actions/cache@v4
+      with:
+        path: |
+          ~/.cargo/bin/
+          ~/.cargo/.crates.toml
+          ~/.cargo/.crates2.json
+        key: ms-${MDBOOK_SPEC_VERSION}
     - name: Update rustup
       run: rustup self update
     - name: Install Rust
@@ -19,13 +32,15 @@ jobs:
     - name: Install mdbook
       run: |
         mkdir bin
-        curl -sSL https://github.com/rust-lang/mdBook/releases/download/v0.4.14/mdbook-v0.4.14-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=bin
+        curl -sSL https://github.com/rust-lang/mdBook/releases/download/v${MDBOOK_VERSION}/mdbook-v${MDBOOK_VERSION}-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=bin
         echo "$(pwd)/bin" >> $GITHUB_PATH
     - name: Report versions
       run: |
         rustup --version
         rustc -Vv
         mdbook --version
+    - name: Install mdbook-spec
+      run: cargo install --locked mdbook-spec@${MDBOOK_SPEC_VERSION}
     - name: Run tests
       run: mdbook test
     - name: Style checks