Skip to content

chore: apply review changes#887

Merged
Ad96el merged 3 commits intodevelopfrom
chore/review
May 16, 2025
Merged

chore: apply review changes#887
Ad96el merged 3 commits intodevelopfrom
chore/review

Conversation

@Ad96el
Copy link
Contributor

@Ad96el Ad96el commented May 7, 2025

Apply review suggestions

@Ad96el Ad96el changed the title more expressive logs chore: apply review changes May 7, 2025
@Ad96el Ad96el added the ci-skip-docs-pr ci-skip-docs-pr label May 9, 2025
@Ad96el Ad96el merged commit d3e5562 into develop May 16, 2025
17 checks passed
@Ad96el Ad96el deleted the chore/review branch May 16, 2025 11:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci-skip-docs-pr ci-skip-docs-pr

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants