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

switch to pull_request type and cleanup metadata check #87509

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

nashif
Copy link
Member

@nashif nashif commented Mar 22, 2025

commits from #82457 that can be merged standalone

  • ci: twister: convert to pull_request
  • ci: move PR body check to a different workflow
  • ci: workflows: rename do_not_merge workflow

nashif added 3 commits March 22, 2025 09:59
Convert twister workflow to use pull_request.

Signed-off-by: Anas Nashif <[email protected]>
Move PR body check to a workflow that monitors editing of PRs.
Avoids rerunnin compliance check and other heavy weights workflows on
just an edit of the PR body.

Signed-off-by: Anas Nashif <[email protected]>
Add more functionality to the workflow, it is not only about not-merging
anymore.

Signed-off-by: Anas Nashif <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants