Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Fix coverage build on release-5.7 #60792

Merged
merged 1 commit into from
Dec 17, 2024
Merged

Fix coverage build on release-5.7 #60792

merged 1 commit into from
Dec 17, 2024

Conversation

jakebailey
Copy link
Member

This pool changed, update the release branch so we can still have green CI.

@typescript-bot typescript-bot added Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug labels Dec 17, 2024
@DanielRosenwasser DanielRosenwasser merged commit 9ba364c into release-5.7 Dec 17, 2024
29 checks passed
@DanielRosenwasser DanielRosenwasser deleted the jakebailey-patch-1 branch December 17, 2024 17:27
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@DanielRosenwasser DanielRosenwasser DanielRosenwasser approved these changes

@RyanCavanaugh RyanCavanaugh Awaiting requested review from RyanCavanaugh

Assignees

@jakebailey jakebailey

Labels
Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug
Projects
PR Backlog
Status: Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@jakebailey @DanielRosenwasser @typescript-bot