Skip to content

Add documentation about profile-guided optimization. #318

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
Merged
merged 1 commit into from
May 14, 2019
Merged

Add documentation about profile-guided optimization. #318

merged 1 commit into from
May 14, 2019

Conversation

michaelwoerister
Copy link
Member

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

cc rust-lang/rust#59913

@michaelwoerister
Copy link
Member Author

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

@michaelwoerister michaelwoerister mentioned this pull request May 14, 2019
Closed
16 tasks
@mark-i-m
Copy link
Member

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

mark-i-m
mark-i-m approved these changes May 14, 2019
View reviewed changes
Copy link
Member

@mark-i-m mark-i-m left a comment

Choose a reason for hiding this comment

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

Thanks :)

@mark-i-m mark-i-m merged commit 243863e into rust-lang:master May 14, 2019
@michaelwoerister
Copy link
Member Author

Thanks, @mark-i-m!

# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@mark-i-m mark-i-m mark-i-m approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@michaelwoerister @mark-i-m