diff options
| author | Tshepang Mbambo <hopsi@tuta.io> | 2025-08-29 19:53:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-29 19:53:10 +0200 |
| commit | 04ec8a7f2472fe783d46de7d2ac57e4edfcb45a0 (patch) | |
| tree | 104e925540759c4f71a5c35c1383eb51c671cfd8 /src | |
| parent | c25686558b90da2c68232589c1410abbf9ccca43 (diff) | |
| parent | 80c1ea31c75199e8f94d5da0f485f065f0729a79 (diff) | |
| download | rust-04ec8a7f2472fe783d46de7d2ac57e4edfcb45a0.tar.gz rust-04ec8a7f2472fe783d46de7d2ac57e4edfcb45a0.zip | |
Merge pull request #2560 from ehuss/update-mdbook
Update mdbook
Diffstat (limited to 'src')
| -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 6eabb999fb0..2dd695b7a47 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.48 + MDBOOK_VERSION: 0.4.52 MDBOOK_LINKCHECK2_VERSION: 0.9.1 MDBOOK_MERMAID_VERSION: 0.12.6 MDBOOK_OUTPUT__LINKCHECK__FOLLOW_WEB_LINKS: ${{ github.event_name != 'pull_request' }} |