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

[Typing] Skip coverage check if title has typing #65058

Conversation

SigureMo
Copy link
Member

PR Category

Environment Adaptation

PR Types

Improvements

Description

#64452,支持跳过标题中包含 [Typing] PR 的 coverage 检查,因此类型提示相关 PR 不会影响运行时,而且运行时也测不到,Coverage 检查没有意义

比如下面的流水线

https://xly.bce.baidu.com/paddlepaddle/paddle/newipipe/detail/10862939/job/26496476

PCard-66972

Copy link

paddle-bot bot commented Jun 12, 2024

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

@SigureMo SigureMo changed the title [CINN] Skip coverage check if titile has typing [Typing] Skip coverage check if title has typing Jun 12, 2024
@SigureMo SigureMo merged commit ac45983 into PaddlePaddle:develop Jun 12, 2024
31 of 33 checks passed
@SigureMo SigureMo deleted the infra/skip-coverage-check-if-title-has-typing branch June 12, 2024 06:28
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.

3 participants