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 version for the next release (v0.13.0) #357

Merged
merged 1 commit into from
May 10, 2024

Conversation

ellnix
Copy link
Collaborator

@ellnix ellnix commented May 8, 2024

We should ship the fix to #352 ASAP, and also add support for #351, I believe that would mean a minor version in semver.

@ellnix ellnix added the skip-changelog The PR will not appear in the release changelogs label May 8, 2024
@ellnix ellnix requested a review from brunoocasali May 8, 2024 13:06
Copy link

codecov bot commented May 8, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 89.29%. Comparing base (b7b1aaf) to head (f51097a).

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #357   +/-   ##
=======================================
  Coverage   89.29%   89.29%           
=======================================
  Files          13       13           
  Lines         757      757           
=======================================
  Hits          676      676           
  Misses         81       81           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Copy link
Member

@brunoocasali brunoocasali left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors merge

@brunoocasali
Copy link
Member

@ellnix go ahead and make the release! If you don't have the rights to make it let me know on discord ;)

@meili-bors meili-bors bot merged commit 62762b6 into meilisearch:main May 10, 2024
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
skip-changelog The PR will not appear in the release changelogs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants