Update to mdbook 0.5 (#16130)

See:
https://github.com/rust-lang/mdBook/blob/master/CHANGELOG.md#mdbook-051

changelog: none
This commit is contained in:
Philipp Krones 2025-11-28 19:12:28 +00:00 committed by GitHub
commit 397aa53a61
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -4,6 +4,9 @@ on:
merge_group:
pull_request:
env:
MDBOOK_VERSION: 0.5.1
jobs:
remark:
runs-on: ubuntu-latest
@ -27,7 +30,7 @@ jobs:
- name: Install mdbook
run: |
mkdir mdbook
curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.4.43/mdbook-v0.4.43-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook
curl -Lf 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=./mdbook
echo `pwd`/mdbook >> $GITHUB_PATH
# Run