Skip to content

Conversation

@curquiza
Copy link
Member

No description provided.

@curquiza curquiza added the documentation Improvements or additions to documentation label Apr 17, 2025
@curquiza curquiza requested a review from guimachiavelli April 17, 2025 15:11
@curquiza curquiza marked this pull request as draft April 17, 2025 15:11
guimachiavelli
guimachiavelli previously approved these changes Apr 28, 2025
@guimachiavelli guimachiavelli marked this pull request as ready for review April 28, 2025 11:49
@guimachiavelli
Copy link
Member

bors merge

@meili-bors
Copy link
Contributor

meili-bors bot commented Apr 28, 2025

Build succeeded:

  • linter
  • integration-and-unit-tests

@meili-bors meili-bors bot merged commit 5beb393 into main Apr 28, 2025
3 checks passed
@meili-bors meili-bors bot deleted the curquiza-patch-2 branch April 28, 2025 13:15
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants