Skip to content

Conversation

matticbot
Copy link
Contributor

This is an automatic update generated by a GitHub Action. If closed it will be recreated the next time the action runs.

@tbradsha tbradsha self-assigned this Aug 28, 2025
@tbradsha tbradsha merged commit e5ae1dd into trunk Aug 28, 2025
70 checks passed
@tbradsha tbradsha deleted the update/phan-custom-stubs branch August 28, 2025 14:12
@github-actions github-actions bot removed the [Status] Needs Review This PR is ready for review. label Aug 28, 2025
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.

2 participants