Commit 3598754

authored

Merge pull request #2560 from ehuss/update-mdbook

Update mdbook

2 parents 77c0910 + 15a7abc commit 3598754Copy full SHA for 3598754

File tree

-1

lines changed

-1

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ jobs:`
`14`	`14`	`if: github.repository == 'rust-lang/rustc-dev-guide'`
`15`	`15`	`runs-on: ubuntu-latest`
`16`	`16`	`env:`
`17`		`- MDBOOK_VERSION: 0.4.48`
	`17`	`+ MDBOOK_VERSION: 0.4.52`
`18`	`18`	`MDBOOK_LINKCHECK2_VERSION: 0.9.1`
`19`	`19`	`MDBOOK_MERMAID_VERSION: 0.12.6`
`20`	`20`	`MDBOOK_OUTPUT__LINKCHECK__FOLLOW_WEB_LINKS: ${{ github.event_name != 'pull_request' }}`

Comments

(0)