Skip to content

chore: update maven plugins#58

Merged
welschsn merged 1 commit into
masterfrom
fix/update_maven_plugins
May 8, 2026
Merged

chore: update maven plugins#58
welschsn merged 1 commit into
masterfrom
fix/update_maven_plugins

Conversation

@welschsn
Copy link
Copy Markdown
Contributor

@welschsn welschsn commented May 8, 2026

No description provided.

@welschsn welschsn requested a review from benjaminalbanese May 8, 2026 13:55
@welschsn welschsn merged commit 711b0d9 into master May 8, 2026
1 check passed
@welschsn welschsn deleted the fix/update_maven_plugins branch May 8, 2026 13:56
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