Skip to content

ci: update branch name to main#108

Merged
naveensingh merged 1 commit into
mainfrom
ci/update_branch_name
May 29, 2025
Merged

ci: update branch name to main#108
naveensingh merged 1 commit into
mainfrom
ci/update_branch_name

Conversation

@naveensingh
Copy link
Copy Markdown
Member

No description provided.

@fossifybot fossifybot Bot added the ci This issue or pull request is about continuous integration label May 29, 2025
@naveensingh naveensingh merged commit 1cb1975 into main May 29, 2025
5 of 7 checks passed
@naveensingh naveensingh deleted the ci/update_branch_name branch May 29, 2025 04:50
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.

1 participant