-
-
Notifications
You must be signed in to change notification settings - Fork 25.8k
MNT Linter Bot: add concurrency group and a link to the commit for th… #26638
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
Conversation
Linting PassedAll linting checks passed. Your pull request is in excellent shape! ☀️ |
What do you think about adding a small visual hint like a green check next to "Linting passed" or a red cross next to "Linting issues" ? |
@jeremiedbb done. |
.github/workflows/lint.yml
Outdated
@@ -6,6 +6,10 @@ name: linter | |||
on: | |||
- pull_request_target | |||
|
|||
concurrency: | |||
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
When does this workflow fallback to github.ref
?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
@jeremiedbb @ogrisel this would fix the issues we see in PRs where they haven't merged with |
Cancel running jobs and add a link to the commit for which the comment is generated, example: adrinjalali/gh-action-test#5
cc @ogrisel @thomasjpfan