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

Release branch 2.13.1 #1943

Merged
merged 1 commit into from
Jan 8, 2023
Merged

Conversation

Pierre-Sassoulas
Copy link
Member

No description provided.

@Pierre-Sassoulas Pierre-Sassoulas added the Maintenance Discussion or action around maintaining astroid or the dev workflow label Jan 8, 2023
@Pierre-Sassoulas Pierre-Sassoulas added this to the 2.13.1 milestone Jan 8, 2023
@Pierre-Sassoulas Pierre-Sassoulas changed the base branch from main to maintenance/2.13.x January 8, 2023 11:31
@codecov
Copy link

codecov bot commented Jan 8, 2023

Codecov Report

Merging #1943 (5e4eee3) into maintenance/2.13.x (82b80d9) will not change coverage.
The diff coverage is 100.00%.

Additional details and impacted files

Impacted file tree graph

@@                 Coverage Diff                 @@
##           maintenance/2.13.x    #1943   +/-   ##
===================================================
  Coverage               92.63%   92.63%           
===================================================
  Files                      94       94           
  Lines                   10869    10869           
===================================================
  Hits                    10069    10069           
  Misses                    800      800           
Flag Coverage Δ
linux 92.40% <100.00%> (ø)
pypy 88.54% <100.00%> (ø)
windows 92.31% <100.00%> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files Coverage Δ
astroid/__pkginfo__.py 100.00% <100.00%> (ø)

@Pierre-Sassoulas Pierre-Sassoulas merged commit b015ec0 into maintenance/2.13.x Jan 8, 2023
@Pierre-Sassoulas Pierre-Sassoulas deleted the release-branch-2.13.1 branch January 8, 2023 11:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Maintenance Discussion or action around maintaining astroid or the dev workflow
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant