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

Merged

SigureMo merged 1 commit intoPaddlePaddle:developfrom cattidea:infra/skip-coverage-check-if-title-has-typing

Jun 12, 2024

+17-4

Commits on Jun 12, 2024

[CINN] Skip coverage check if titile has typing
SigureMo
committed