Skip to content

Conversation

@Novusvetus
Copy link
Owner

Pull request type

Please check the type of change your PR introduces:

  • Bugfix
  • Feature
  • Code style update (formatting, renaming)
  • Refactoring (no functional changes, no api changes)
  • Build related changes
  • Documentation content changes
  • Other (please describe):

What is the current behavior?

Issue Number: N/A

What is the new behavior?

Does this introduce a breaking change?

  • Yes
  • No

Other information

@Novusvetus Novusvetus added dependencies Upgrade or downgrade of project dependencies. priority medium This issue may be useful, and needs some attention. maintenance Generic maintenance tasks. ci Work that improves the continue integration. labels Nov 6, 2023
@Novusvetus Novusvetus self-assigned this Nov 6, 2023
@Novusvetus Novusvetus marked this pull request as ready for review November 24, 2023 08:39
@Novusvetus Novusvetus added enhancement Enhancement of the code, not introducing new features. minor This PR causes a minor version bump in the version number. labels Nov 24, 2023
@Novusvetus Novusvetus merged commit c6c80ad into main Nov 24, 2023
@Novusvetus Novusvetus deleted the updates-2023-11-06 branch November 24, 2023 08:39
@github-actions github-actions bot locked and limited conversation to collaborators Dec 1, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

ci Work that improves the continue integration. dependencies Upgrade or downgrade of project dependencies. enhancement Enhancement of the code, not introducing new features. maintenance Generic maintenance tasks. minor This PR causes a minor version bump in the version number. priority medium This issue may be useful, and needs some attention.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants