Skip to content

Conversation

@michirsch
Copy link
Contributor

  • Migrate from parent POM version 0.8.9 to the new parent POM version 0.9.0
  • Locally verified build success

@michirsch michirsch requested review from Nicolas-Boltz and rsfzi July 3, 2025 17:52
@michirsch michirsch merged commit 6dc6444 into master Jul 4, 2025
2 checks passed
@michirsch michirsch deleted the migrate_to_parent_POM_version_0.9.0 branch July 4, 2025 12:16
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.

4 participants