Skip to content

Update coverage metadata "change_id" type#5383

Closed
lsy323 wants to merge 4 commits intomasterfrom
lsiyuan/coverage-metadata
Closed

Update coverage metadata "change_id" type#5383
lsy323 wants to merge 4 commits intomasterfrom
lsiyuan/coverage-metadata

Conversation

@lsy323
Copy link
Copy Markdown
Collaborator

@lsy323 lsy323 commented Jul 31, 2023

Open a draft PR to update the "change_id" type in coverage metadata. Merge once verifying the fix with NG3 Metrics team.

@lsy323 lsy323 marked this pull request as draft July 31, 2023 21:31
@lsy323 lsy323 requested a review from JackCaoG August 1, 2023 17:08
@lsy323 lsy323 marked this pull request as ready for review August 1, 2023 17:08
@lsy323
Copy link
Copy Markdown
Collaborator Author

lsy323 commented Aug 1, 2023

@JackCaoG We can merge this one now, fixes a type check in internal metrics platform

@lsy323 lsy323 closed this Aug 1, 2023
@lsy323 lsy323 removed the request for review from JackCaoG August 1, 2023 23:35
@lsy323 lsy323 deleted the lsiyuan/coverage-metadata branch August 1, 2023 23:35
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