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

Bump runners to 3.10 #1704

Merged
merged 1 commit into from
Jul 11, 2022
Merged

Bump runners to 3.10 #1704

merged 1 commit into from
Jul 11, 2022

Conversation

DanielNoord
Copy link
Collaborator

Steps

  • Write a good description on what the PR does.

Description

Type of Changes

Type
🔨 Refactoring

Related Issue

@DanielNoord DanielNoord added the Maintenance Discussion or action around maintaining astroid or the dev workflow label Jul 11, 2022
@coveralls
Copy link

Pull Request Test Coverage Report for Build 2648868217

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+0.2%) to 92.363%

Totals Coverage Status
Change from base Build 2645100812: 0.2%
Covered Lines: 9699
Relevant Lines: 10501

💛 - Coveralls

@Pierre-Sassoulas Pierre-Sassoulas merged commit 7c0305e into pylint-dev:main Jul 11, 2022
Pierre-Sassoulas pushed a commit that referenced this pull request Jul 12, 2022
Pierre-Sassoulas pushed a commit that referenced this pull request Jul 12, 2022
@DanielNoord DanielNoord deleted the bump branch June 6, 2023 18:45
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.

3 participants