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

make label checkers run on more specific events #179

Merged
merged 5 commits into from
Jul 4, 2023
Merged

make label checkers run on more specific events #179

merged 5 commits into from
Jul 4, 2023

Conversation

wesleyboar
Copy link
Member

@wesleyboar wesleyboar commented Jul 4, 2023 •
edited
Loading

Overview / Changes

Do not run PR label checker until PR has been manually or automatically labeled.

Related

Builds upon:

Testing

  1. Open PR with label set before clicking "Create pull request".
  2. Check PR label checker is run.
  3. Remove label from PR.
  4. Check PR label checker is run.
  5. Close & Reopen PR.
  6. Check PR label checker is not run.
  7. Add label.
  8. Check PR label checker is run.

UI

N/A

@wesleyboar wesleyboar added the research Investigation is required label Jul 4, 2023
@github-actions github-actions bot added the chore Changes with no (or minimal) user-facing effect label Jul 4, 2023
@wesleyboar wesleyboar added patch A backward-compatible fix and removed research Investigation is required labels Jul 4, 2023
@wesleyboar wesleyboar added chore Changes with no (or minimal) user-facing effect and removed chore Changes with no (or minimal) user-facing effect labels Jul 4, 2023
@wesleyboar wesleyboar changed the title remove pr label checker excess "on" triggers make label checkers run on more specific events Jul 4, 2023
@wesleyboar wesleyboar merged commit d86c6d5 into main Jul 4, 2023
3 of 4 checks passed
@wesleyboar wesleyboar deleted the chore/workflows-acting-on-labels-are-dependent branch July 4, 2023 07:06
This was referenced Jul 5, 2023
Merged
Merged
Merged
Merged
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
chore Changes with no (or minimal) user-facing effect patch A backward-compatible fix
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@wesleyboar