Skip to content

Conversation

@davidhewitt
Copy link
Member

@davidhewitt davidhewitt commented Nov 18, 2025

Blocked on RustForWeb/mdbook-plugins#147

This PR updates our use of mdbook to 0.5, fixing a bunch of minor formatting issues and making use of the new admonitions at the same time.

@davidhewitt davidhewitt added the CI-skip-changelog Skip checking changelog entry label Nov 18, 2025
@davidhewitt davidhewitt marked this pull request as ready for review November 29, 2025 13:48
Copy link
Contributor

@Icxolu Icxolu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great

@davidhewitt davidhewitt added this pull request to the merge queue Nov 29, 2025
Merged via the queue into main with commit 4061f20 Nov 29, 2025
43 checks passed
@davidhewitt davidhewitt deleted the mdbook-0.5 branch November 29, 2025 18:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI-skip-changelog Skip checking changelog entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants