Skip to content

Conversation

@filiphr
Copy link
Contributor

@filiphr filiphr commented Jan 6, 2026

This makes it easier for local development since it does not depend on having any specific Maven locally installed it also makes it more consistent in the GitHub actions since it does not depend on the maven version provided in the GitHub runners.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant