Skip to content

test the dev-guide mdbook build in CI - #3454

Merged
syphar merged 4 commits into
rust-lang:mainfrom
syphar:test-mdbook
Aug 18, 2026
Merged

test the dev-guide mdbook build in CI#3454
syphar merged 4 commits into
rust-lang:mainfrom
syphar:test-mdbook

Conversation

@syphar

@syphar syphar commented Aug 18, 2026

Copy link
Copy Markdown
Member

No description provided.

@syphar syphar self-assigned this Aug 18, 2026
@github-actions github-actions Bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Aug 18, 2026
Comment thread Justfile Outdated
Comment thread .github/workflows/ci.yml Outdated
@syphar
syphar force-pushed the test-mdbook branch 5 times, most recently from 4333cee to 42a0b46 Compare August 18, 2026 15:21
@syphar
syphar requested a review from GuillaumeGomez August 18, 2026 15:24
@syphar

syphar commented Aug 18, 2026

Copy link
Copy Markdown
Member Author

@GuillaumeGomez just adding the tests for now, and quickfixes. Will update the docs in a separate PR.

@syphar
syphar marked this pull request as ready for review August 18, 2026 15:26
@syphar
syphar requested a review from a team as a code owner August 18, 2026 15:26
Comment thread Justfile
Comment thread docs/src/build-workspaces.md Outdated
Comment thread docs/src/build-workspaces.md Outdated
Comment thread docs/src/build-workspaces.md Outdated
Comment thread docs/src/build-workspaces.md Outdated
Comment thread docs/src/docker-commands.md Outdated
Comment thread docs/src/docker-commands.md Outdated
Comment thread docs/src/docker-commands.md Outdated
Comment thread docs/README.md Outdated
Comment thread docs/src/build-workspaces.md Outdated
@syphar
syphar requested a review from GuillaumeGomez August 18, 2026 16:11
Comment thread docs/src/links.md
@GuillaumeGomez

Copy link
Copy Markdown
Member

Looks all good to me, thanks a lot!

@syphar
syphar merged commit 0b189bc into rust-lang:main Aug 18, 2026
16 checks passed
@syphar
syphar deleted the test-mdbook branch August 18, 2026 16:14
@github-actions github-actions Bot added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Aug 18, 2026
@syphar syphar removed the S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it label Aug 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants