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

any coverage, (7.0.2 error fixed in 7.0.3) #14269

Merged
merged 1 commit into from Jan 25, 2023
Merged

Conversation

altendky
Copy link
Contributor

@altendky altendky commented Jan 4, 2023

Purpose:

Now that a fixed version of coverage has been released, we can undo the temporary fix in #14255.

Current Behavior:
New Behavior:

Testing Notes:

@altendky altendky added Fixed Required label for PR that categorizes merge commit message as "Fixed" for changelog CI CI changes Changed Required label for PR that categorizes merge commit message as "Changed" for changelog and removed Fixed Required label for PR that categorizes merge commit message as "Fixed" for changelog labels Jan 4, 2023
@altendky altendky closed this Jan 24, 2023
@altendky altendky reopened this Jan 24, 2023
@altendky altendky marked this pull request as ready for review January 24, 2023 23:41
@altendky altendky requested a review from a team as a code owner January 24, 2023 23:41
@altendky altendky requested a review from emlowe January 24, 2023 23:42
@wallentx wallentx merged commit e6e47dc into main Jan 25, 2023
@wallentx wallentx deleted the coverage_7.0.3_etc branch January 25, 2023 15:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Changed Required label for PR that categorizes merge commit message as "Changed" for changelog CI CI changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants