diff options
| author | Tshepang Lekhonkhobe <tshepang@gmail.com> | 2021-08-16 03:33:24 +0200 |
|---|---|---|
| committer | Joshua Nelson <github@jyn.dev> | 2021-08-15 20:47:42 -0500 |
| commit | 5d77984e03609c536ce6da5e5a76c5808ddc2e3c (patch) | |
| tree | 5cafcca8b753fbf6fe8ef068460da599127bba5e /src/doc/rustc-dev-guide/.github/workflows | |
| parent | 451084b3bd1f2981000e320c1f558c3f0e0dcecf (diff) | |
| download | rust-5d77984e03609c536ce6da5e5a76c5808ddc2e3c.tar.gz rust-5d77984e03609c536ce6da5e5a76c5808ddc2e3c.zip | |
update mdbook version to latest
v0.4.7 didn't have the feature to allow this See https://github.com/rust-lang/rustc-dev-guide/pull/1180#issuecomment-899128718
Diffstat (limited to 'src/doc/rustc-dev-guide/.github/workflows')
| -rw-r--r-- | src/doc/rustc-dev-guide/.github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/.github/workflows/ci.yml b/src/doc/rustc-dev-guide/.github/workflows/ci.yml index a2b9cc30d70..fed51378cd1 100644 --- a/src/doc/rustc-dev-guide/.github/workflows/ci.yml +++ b/src/doc/rustc-dev-guide/.github/workflows/ci.yml @@ -14,7 +14,7 @@ jobs: if: github.repository == 'rust-lang/rustc-dev-guide' runs-on: ubuntu-latest env: - MDBOOK_VERSION: 0.4.7 + MDBOOK_VERSION: 0.4.12 MDBOOK_LINKCHECK_VERSION: 0.7.2 MDBOOK_TOC_VERSION: 0.6.1 DEPLOY_DIR: book/html |