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

Add documentation about profile-guided optimization. #318

Merged
merged 1 commit into from May 14, 2019

Conversation

Projects
None yet
2 participants
@michaelwoerister
Copy link
Contributor

commented May 14, 2019

Profile-guided optimization will hopefully soon be stable, let's make sure it's documented.

cc rust-lang/rust#59913

@michaelwoerister michaelwoerister force-pushed the michaelwoerister:pgo-docs branch from 76f152f to 381795e May 14, 2019

@michaelwoerister

This comment has been minimized.

Copy link
Contributor Author

commented May 14, 2019

linkcheck fails for files that I didn't modify. Is that a known issue?

@mark-i-m

This comment has been minimized.

Copy link
Collaborator

commented May 14, 2019

Chalk has been going through some reorganization and links have been breaking.

@mark-i-m
Copy link
Collaborator

left a comment

Thanks :)

@mark-i-m mark-i-m merged commit 243863e into rust-lang:master May 14, 2019

1 check failed

Travis CI - Pull Request Build Failed
Details
@michaelwoerister

This comment has been minimized.

Copy link
Contributor Author

commented May 15, 2019

Thanks, @mark-i-m!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.