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.

Sign up for GitHub

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

Jump to bottom

Remove header file including for boost #44052

Merged
merged 1 commit into from
Jul 5, 2022
Merged

Remove header file including for boost #44052

merged 1 commit into from
Jul 5, 2022

Conversation

From00
Copy link
Contributor

@From00 From00 commented Jul 4, 2022 •
edited by zhiqiu
Loading

PR types

Others

PR changes

Others

Describe

Remove header file including for boost

@paddle-bot-old
Copy link

paddle-bot-old bot commented Jul 4, 2022

你的PR提交成功，感谢你对开源项目的贡献!
请关注后续CI自动化测试结果，详情请参考Paddle-CI手册。
Your PR has been submitted. Thanks for your contribution!
Please wait for the result of CI firstly. See Paddle CI Manual for details.

zhiqiu
zhiqiu approved these changes Jul 4, 2022
View reviewed changes
Copy link
Contributor

@zhiqiu zhiqiu left a comment

Choose a reason for hiding this comment

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

LGTM

@From00 From00 merged commit 52607cf into PaddlePaddle:develop Jul 5, 2022
@From00 From00 mentioned this pull request Jul 11, 2022
Merged
@From00 From00 deleted the remove-boost-header-file-including branch April 5, 2023 09:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@zhiqiu zhiqiu zhiqiu approved these changes

@raindrops2sea raindrops2sea raindrops2sea 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.
3 participants
@From00 @zhiqiu @raindrops2sea