From b76d1000b6bce844f36fcad44820a82bec28a58e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20Kijewski?= Date: Thu, 14 Nov 2024 10:57:32 +0100 Subject: [PATCH] book: pin to mdbook v0.4.40 for now --- .github/workflows/rust.yml | 14 ++++++++++---- book/update-theme.py | 2 +- 2 files changed, 11 insertions(+), 5 deletions(-) diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 2e85f1ec..6a6b95c1 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -110,10 +110,16 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 - - uses: taiki-e/install-action@v2 - with: - tool: mdbook - - run: mdbook build book + - name: Generate "book/theme/index.hbs" as "skeleton" of the generated pages. + run: ./update-theme.py + working-directory: book + - name: Install mdbook + run: | + mkdir -p $HOME/bin + curl --location --silent --show-error --fail https://github.com/cargo-bins/cargo-quickinstall/releases/download/mdbook-0.4.40/mdbook-0.4.40-x86_64-unknown-linux-gnu.tar.gz | tar -xzvvf - -C $HOME/bin + - name: Convert the book to HTML + run: $HOME/bin/mdbook build + working-directory: book DevSkim: name: DevSkim diff --git a/book/update-theme.py b/book/update-theme.py index 8c127e32..54b4a08b 100755 --- a/book/update-theme.py +++ b/book/update-theme.py @@ -12,7 +12,7 @@ from pathlib import Path INDEX_HBS_DOMAIN = "api.github.com" INDEX_HBS_PORT = 443 INDEX_HBS_PROTO = "GET" -INDEX_HBS_PATH = "/repos/rust-lang/mdBook/contents/src/theme/index.hbs" +INDEX_HBS_PATH = "/repos/rust-lang/mdBook/contents/src/theme/index.hbs?ref=v0.4.40" INDEX_HBS_DATA = None INDEX_HBS_HEADERS = { "user-agent": "Update index.hbs for +https://github.com/rinja-rs/rinja",