Skip to content

Conversation

@anton-sidelnikov
Copy link
Member

No description provided.

@anton-sidelnikov anton-sidelnikov self-assigned this Dec 9, 2025
@anton-sidelnikov anton-sidelnikov added the documentation Improvements or additions to documentation label Dec 9, 2025
muneeb-jan
muneeb-jan previously approved these changes Dec 9, 2025
@anton-sidelnikov anton-sidelnikov changed the title doc: update README.md doc/ci: update README.md and basic ci Dec 9, 2025
muneeb-jan
muneeb-jan previously approved these changes Dec 9, 2025
@anton-sidelnikov anton-sidelnikov added the gate Merge PR label Dec 9, 2025
@otc-zuul otc-zuul bot merged commit e028491 into main Dec 9, 2025
6 checks passed
@otc-zuul otc-zuul bot deleted the add-readme branch December 9, 2025 17:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation gate Merge PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants