Skip to content

ignore unv label if it doesn't exist in label file - #957

Merged
Jerry Gao (Sanhaoji2) merged 2 commits into
jegao/LabelHotFixfrom
jegao/UNVHotFix
Apr 17, 2026
Merged

ignore unv label if it doesn't exist in label file#957
Jerry Gao (Sanhaoji2) merged 2 commits into
jegao/LabelHotFixfrom
jegao/UNVHotFix

Conversation

@Sanhaoji2

Copy link
Copy Markdown
Contributor
  • Does this PR have a descriptive title that could go in our release notes?
  • Does this PR add any new dependencies?
  • Does this PR modify any existing APIs?
  • Is the change to the API backwards compatible?
  • Should this result in any changes to our documentation, either updating existing docs or adding new ones?

Reference Issues/PRs

What does this implement/fix? Briefly explain your changes.

Any other comments?

@Sanhaoji2
Jerry Gao (Sanhaoji2) merged commit f07f6ba into jegao/LabelHotFix Apr 17, 2026
4 of 39 checks passed
@Sanhaoji2
Jerry Gao (Sanhaoji2) deleted the jegao/UNVHotFix branch April 17, 2026 07: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.

1 participant