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

[cmake] add third party jitify cache #55501

Merged
merged 4 commits into from
Jul 20, 2023
Merged

[cmake] add third party jitify cache #55501

merged 4 commits into from
Jul 20, 2023

Conversation

GreatV
Copy link
Contributor

@GreatV GreatV commented Jul 18, 2023

PR types

Others

PR changes

Others

Description

[cmake] add third party jitify cache

@paddle-bot
Copy link

paddle-bot bot commented Jul 18, 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.

@paddle-bot paddle-bot bot added contributor External developers status: proposed labels Jul 18, 2023
@luotao1 luotao1 added the HappyOpenSource 快乐开源活动issue与PR label Jul 18, 2023
@GreatV GreatV requested a review from risemeup1 July 19, 2023 06:00
Copy link
Contributor

@risemeup1 risemeup1 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 7341e6f into PaddlePaddle:develop Jul 20, 2023
@GreatV GreatV deleted the add_third_party_cache branch July 20, 2023 06:56
cqulilujia pushed a commit to cqulilujia/Paddle that referenced this pull request Jul 24, 2023
* [cmake] add third party jitify cache

* fix bug

* fixed

* fix bug
wz1qqx pushed a commit to wz1qqx/Paddle that referenced this pull request Jul 31, 2023
* [cmake] add third party jitify cache

* fix bug

* fixed

* fix bug
jinjidejinmuyan pushed a commit to jinjidejinmuyan/Paddle that referenced this pull request Aug 30, 2023
* [cmake] add third party jitify cache

* fix bug

* fixed

* fix bug
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
contributor External developers HappyOpenSource 快乐开源活动issue与PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants