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 snapshot and release version #24

Merged
merged 1 commit into from
May 24, 2024
Merged

Conversation

OneLiteFeather
Copy link

Proposed changes

As Microtus get updated frequently, we want that newcomers also use the newest versions of it. Updated snapshot and release versions to 1.3.1 (-SNAPSHOT).
Fixes #22

Types of changes

What types of changes does your code introduce to this project?
Put an x in the boxes that apply

  • Bugfix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Documentation Update (if none of the other choices apply)

Checklist

Put an x in the boxes that apply. You can also fill these out after creating the PR. If you're unsure about any of
them, don't hesitate to ask. We're here to help! This is simply a reminder of what we are going to look for before
merging your code.

  • I have read the CONTRIBUTING.md
  • I have added tests that prove my fix is effective or that my feature works
  • I have added necessary documentation (if appropriate)

@OneLiteFeather OneLiteFeather added enhancement New feature or request chore labels May 24, 2024
@OneLiteFeather OneLiteFeather self-assigned this May 24, 2024
Copy link

Quality Gate Passed Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud

@TheMeinerLP TheMeinerLP merged commit ac4a44e into master May 24, 2024
7 checks passed
@TheMeinerLP TheMeinerLP deleted the chore/update-readme branch May 24, 2024 20:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore enhancement New feature or request
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

Update Readme
2 participants