Skip to content

Release 0.4.2#30

Merged
corentincarton merged 3 commits into
mainfrom
develop
Jun 30, 2025
Merged

Release 0.4.2#30
corentincarton merged 3 commits into
mainfrom
develop

Conversation

@corentincarton

Copy link
Copy Markdown
Collaborator

Description

Release PR for version 0.4.2 with formatting fix.

Contributor Declaration

By opening this pull request, I affirm the following:

  • All authors agree to the Contributor License Agreement.
  • The code follows the project's coding standards.
  • I have performed self-review and added comments where needed.
  • I have added or updated tests to verify that my changes are effective and functional.
  • I have run all existing tests and confirmed they pass.

@corentincarton corentincarton merged commit 440175f into main Jun 30, 2025
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants