CI: Use latest stable Rust for book deployment

We were inheriting the repo's pinned Rust version, which became insufficient to use `mdbook-katex` recently due to MSRV bumps.
str4d · Sep 29, 2023 · a0dc741 · a0dc741
1 parent a9e2fe8
commit a0dc741
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/book.yml b/.github/workflows/book.yml
@@ -14,6 +14,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
+      - uses: dtolnay/rust-toolchain@stable
+        id: toolchain
+      - run: rustup override set ${{steps.toolchain.outputs.name}}
 
       - name: Setup mdBook
         uses: peaceiris/actions-mdbook@v1