Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use the "-j" value in the rustdoc-gui tool #88054

Closed
GuillaumeGomez opened this issue Aug 15, 2021 · 1 comment · Fixed by #88082
Closed

Use the "-j" value in the rustdoc-gui tool #88054

GuillaumeGomez opened this issue Aug 15, 2021 · 1 comment · Fixed by #88082
Assignees
Labels
T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.

Comments

@GuillaumeGomez
Copy link
Member

#86692 greatly improved the tool by allowing to run multiple tests at the same time. However, it doesn't take into account the "-j" option but it should.

@GuillaumeGomez GuillaumeGomez added the T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. label Aug 15, 2021
@GuillaumeGomez GuillaumeGomez self-assigned this Aug 15, 2021
@dns2utf8
Copy link
Contributor

Currently it runs all the tests at the same time, so we would need to look into how we honour a specific value eg. 3.

@bors bors closed this as completed in fe025a7 Aug 19, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants