Skip to content

Conversation

@jacklu97
Copy link
Contributor

📝 Description

  • PR implements new helper meant to stop workflow when the involved PR has been merged. This can prevent some actions to be run after the PR was merged and avoid certain behaviors.

🔗 Related Issues

@jacklu97 jacklu97 requested a review from a team as a code owner July 22, 2025 06:23
@jacklu97 jacklu97 closed this Jul 22, 2025
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.

1 participant