Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update pom.xml #163

Merged
merged 1 commit into from
Oct 31, 2023
Merged

Update pom.xml #163

merged 1 commit into from
Oct 31, 2023

Conversation

nlu90
Copy link
Collaborator

@nlu90 nlu90 commented Sep 11, 2023

Use the SNAPSHOT suffix for the master branch version.

Motivation

Explain here the context, and why you're making that change. What is the problem you're trying to solve.

Modifications

Describe the modifications you've done.

Verifying this change

  • Make sure that the change passes the CI checks.

(Please pick either of the following options)

  • This change is a trivial rework / code cleanup without any test coverage.

  • This change is already covered by existing tests, such as:

  • This change added tests and can be verified as follows:

Documentation

Check the box below.

Need to update docs?

  • doc-required
  • no-need-doc
  • doc

Use the SNAPSHOT suffix for the master branch version.
@nlu90 nlu90 requested a review from a team as a code owner September 11, 2023 17:38
@github-actions github-actions bot added the no-need-doc This pr does not need any document label Sep 11, 2023
@nlu90 nlu90 merged commit 82bfe20 into master Oct 31, 2023
3 of 4 checks passed
@delete-merged-branch delete-merged-branch bot deleted the neng/update-version branch October 31, 2023 02:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-need-doc This pr does not need any document
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants