Update mdbook to 0.4.17 (#12339)

Update mdbook (the tool used to render the documentation website) to version 0.4.17.
pull/12390/head
Andrew Morgan 2022-04-05 17:21:58 +01:00 committed by GitHub
parent 79e7c2c426
commit 163fd686b5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 1 deletions

View File

@ -22,7 +22,7 @@ jobs:
- name: Setup mdbook
uses: peaceiris/actions-mdbook@4b5ef36b314c2599664ca107bb8c02412548d79d # v1.1.14
with:
mdbook-version: '0.4.9'
mdbook-version: '0.4.17'
- name: Build the documentation
# mdbook will only create an index.html if we're including docs/README.md in SUMMARY.md.

1
changelog.d/12339.doc Normal file
View File

@ -0,0 +1 @@
Upgrade the version of `mdbook` in CI to 0.4.17.