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

Update PR summary for review_requested #70

Merged
merged 2 commits into from
Jan 29, 2024
Merged

Conversation

glenn-jocher
Copy link
Member

@glenn-jocher glenn-jocher commented Jan 29, 2024

πŸ› οΈ PR Summary

Made with ❀️ by Ultralytics Actions

🌟 Summary

PR formatting workflow now triggers on additional pull request events, especially when a review is requested.

πŸ“Š Key Changes

  • πŸ”„ Updated the trigger for the formatting workflow in .github/workflows/format.yml
  • 🚦 Adjusted the condition in action.yml to run the PR Summary job except when synchronization occurs.

🎯 Purpose & Impact

  • πŸŽ‰ The inclusion of review_requested in the event types ensures that formatting checks are performed when a PR is ready for review, keeping the code consistent and clean.
  • βœ… By excluding synchronize from triggering the PR Summary, unnecessary runs are avoided, streamlining the workflow and saving resources.
  • πŸ” Developers and reviewers will benefit from more timely feedback and cleaner code during the review process, potentially speeding up the merge process.

@glenn-jocher glenn-jocher linked an issue Jan 29, 2024 that may be closed by this pull request
@glenn-jocher glenn-jocher merged commit 0b700d2 into main Jan 29, 2024
1 check passed
@glenn-jocher glenn-jocher deleted the review-requested branch January 29, 2024 01:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

update pr summary on review_requested
1 participant