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.

Sign up for GitHub

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

Jump to bottom

mypy 1.5.1 #16352

Merged
merged 7 commits into from
Sep 20, 2023
Merged

mypy 1.5.1 #16352

merged 7 commits into from
Sep 20, 2023

Conversation

altendky
Copy link
Contributor

@altendky altendky commented Sep 17, 2023 •
edited
Loading

Purpose:

Current Behavior:

New Behavior:

Testing Notes:

Draft For:

@altendky altendky added Fixed Required label for PR that categorizes merge commit message as "Fixed" for changelog Exclude_Notes Use this label if the changes in the PR should be excluded from the release notes labels Sep 17, 2023
@github-actions github-actions bot added the merge_conflict Branch has conflicts that prevent merge to main label Sep 18, 2023
@github-actions
Copy link
Contributor

This pull request has conflicts, please resolve those before we can evaluate the pull request.

1 similar comment
@github-actions
Copy link
Contributor

This pull request has conflicts, please resolve those before we can evaluate the pull request.

@github-actions github-actions bot removed merge_conflict Branch has conflicts that prevent merge to main labels Sep 18, 2023
@github-actions
Copy link
Contributor

Conflicts have been resolved. A maintainer will review the pull request shortly.

1 similar comment
@github-actions
Copy link
Contributor

Conflicts have been resolved. A maintainer will review the pull request shortly.

@altendky altendky marked this pull request as ready for review September 18, 2023 20:09
@altendky altendky requested a review from a team as a code owner September 18, 2023 20:09
@cmmarslender cmmarslender merged commit 16b9d53 into main Sep 20, 2023
200 checks passed
@cmmarslender cmmarslender deleted the mypy_1_5_1 branch September 20, 2023 20:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@emlowe emlowe emlowe approved these changes

Assignees
No one assigned
Labels
Exclude_Notes Use this label if the changes in the PR should be excluded from the release notes Fixed Required label for PR that categorizes merge commit message as "Fixed" for changelog
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@altendky @emlowe @cmmarslender