Skip to content

Migrate maven publication scripts and plugins#45

Merged
skydoves merged 2 commits intomainfrom
plugin/maven
Oct 4, 2023
Merged

Migrate maven publication scripts and plugins#45
skydoves merged 2 commits intomainfrom
plugin/maven

Conversation

@skydoves
Copy link
Owner

@skydoves skydoves commented Oct 4, 2023

Migrate maven publication scripts and plugins.

@skydoves skydoves self-assigned this Oct 4, 2023
@skydoves skydoves merged commit eda8b9d into main Oct 4, 2023
@skydoves skydoves deleted the plugin/maven branch October 4, 2023 15:24
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.

1 participant