Skip to content

Conversation

@naveensingh
Copy link
Member

No description provided.

@naveensingh naveensingh self-assigned this May 22, 2025
@naveensingh naveensingh added the ci This issue or pull request is about continuous integration label May 22, 2025
@naveensingh naveensingh merged commit 59dc18a into master May 22, 2025
5 of 6 checks passed
@naveensingh naveensingh deleted the use_github_app_token branch May 22, 2025 14:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci This issue or pull request is about continuous integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants