Skip to content

Update CACHE_VERSION of primer, add comment and update paths #5611

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
Merged
merged 3 commits into from
Dec 30, 2021
Merged

Update CACHE_VERSION of primer, add comment and update paths #5611

merged 3 commits into from
Dec 30, 2021

Conversation

DanielNoord
Copy link
Collaborator

  • Add yourself to CONTRIBUTORS if you are a new contributor.
  • Write a good description on what the PR does.

Type of Changes

Type
✓ 🐛 Bug fix

Description

Similar to #5602.

Also updates the primer to run when changes to its workflow file occur.

Should fix CI issues of #5609 (already tested and it works).

@DanielNoord DanielNoord added the Maintenance Discussion or action around maintaining pylint or the dev workflow label Dec 30, 2021
@DanielNoord DanielNoord added this to the 2.13.0 milestone Dec 30, 2021
@DanielNoord DanielNoord requested a review from cdce8p December 30, 2021 09:29
@coveralls
Copy link

coveralls commented Dec 30, 2021 •
edited
Loading

Pull Request Test Coverage Report for Build 1637536562

  • 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 93.718%
Totals Coverage Status
Change from base Build 1633629454: 0.0%
Covered Lines: 14336
Relevant Lines: 15297
💛 - Coveralls

@DanielNoord DanielNoord mentioned this pull request Dec 30, 2021
Merged
2 tasks
cdce8p
cdce8p approved these changes Dec 30, 2021
View reviewed changes
Copy link
Member

@cdce8p cdce8p left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just a small comment

cdce8p
cdce8p reviewed Dec 30, 2021
View reviewed changes
@DanielNoord DanielNoord merged commit 3d3d48f into pylint-dev:main Dec 30, 2021
@DanielNoord DanielNoord deleted the bump-cache branch December 30, 2021 13:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@cdce8p cdce8p cdce8p approved these changes

@Pierre-Sassoulas Pierre-Sassoulas Pierre-Sassoulas approved these changes

Assignees
No one assigned
Labels
Maintenance Discussion or action around maintaining pylint or the dev workflow
Projects
None yet
Milestone
2.13.0
Development

Successfully merging this pull request may close these issues.
4 participants
@DanielNoord @coveralls @Pierre-Sassoulas @cdce8p