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

[github actions] Add the same backporting job than in pylint #1918

Merged
merged 1 commit into from
Dec 26, 2022
Merged

[github actions] Add the same backporting job than in pylint #1918

merged 1 commit into from
Dec 26, 2022

Conversation

Pierre-Sassoulas
Copy link
Member

Type of Changes

Type
✓ ✨ New feature

Description

This will permits to backport issue easily.

@Pierre-Sassoulas Pierre-Sassoulas added the Maintenance Discussion or action around maintaining astroid or the dev workflow label Dec 26, 2022
@Pierre-Sassoulas Pierre-Sassoulas added this to the 2.12.14 milestone Dec 26, 2022
@coveralls
Copy link

Pull Request Test Coverage Report for Build 3783267801

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 92.289%
Totals Coverage Status
Change from base Build 3782798239: 0.0%
Covered Lines: 9910
Relevant Lines: 10738
💛 - Coveralls

@Pierre-Sassoulas Pierre-Sassoulas merged commit 8dd0adc into main Dec 26, 2022
@Pierre-Sassoulas Pierre-Sassoulas deleted the add-backporting-job branch December 26, 2022 21:31
Pierre-Sassoulas added a commit that referenced this pull request Dec 26, 2022
@Pierre-Sassoulas
[github actions] Add the same backporting job than in pylint (#1918)
83284b8
@cdce8p cdce8p added the backported Assigned once the backport is done label Jan 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
backported Assigned once the backport is done Maintenance Discussion or action around maintaining astroid or the dev workflow
Projects
None yet
Milestone
2.12.14
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@Pierre-Sassoulas @coveralls @cdce8p