Skip to content

Conversation

@the-other-tim-brown
Copy link
Contributor

What is the purpose of the pull request

Improves existing release workflow after running it once

Brief change log

  • update maven options

Verify this pull request

This pull request is a trivial rework / code cleanup without any test coverage.

@the-other-tim-brown the-other-tim-brown merged commit d5bd501 into main Nov 14, 2023
@the-other-tim-brown the-other-tim-brown deleted the minor-release-improvements branch November 14, 2023 05:41
@vinishjail97 vinishjail97 mentioned this pull request Aug 16, 2024
2 tasks
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