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

fix_ninja_error #52433

Merged
merged 1 commit into from Apr 1, 2023
Merged

Conversation

risemeup1
Copy link
Contributor

@risemeup1 risemeup1 commented Apr 1, 2023

PR types

others

PR changes

others

Describe

Pcard-67010
之前CINN用make编译,CINN的ninja编译已修复完,现将CINN的编译方式切为Ninja
详见:(PaddlePaddle/CINN#1307)

@paddle-bot
Copy link

paddle-bot bot commented Apr 1, 2023

你的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.

Copy link
Contributor

@winter-wang winter-wang left a comment

Choose a reason for hiding this comment

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

LGTM

@risemeup1 risemeup1 merged commit d8081f2 into PaddlePaddle:develop Apr 1, 2023
24 of 25 checks passed
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.

None yet

2 participants