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

bump version to 3.2.2.2 #147

Merged
merged 1 commit into from
Aug 2, 2023
Merged

bump version to 3.2.2.2 #147

merged 1 commit into from
Aug 2, 2023

Conversation

nlu90
Copy link
Collaborator

@nlu90 nlu90 commented Aug 2, 2023

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

@nlu90 nlu90 requested a review from a team as a code owner August 2, 2023 07:17
@github-actions github-actions bot added the no-need-doc This pr does not need any document label Aug 2, 2023
@nlu90 nlu90 merged commit cde1b38 into master Aug 2, 2023
4 checks passed
@delete-merged-branch delete-merged-branch bot deleted the neng/bump-version-3.2.2.2 branch August 2, 2023 07:20
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