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

[rapidfuzz] new port #27133

Merged
merged 1 commit into from
Oct 9, 2022
Merged

[rapidfuzz] new port #27133

merged 1 commit into from
Oct 9, 2022

Conversation

quyykk
Copy link
Contributor

@quyykk quyykk commented Oct 7, 2022

  • What does your PR fix?

It adds a new port, rapidfuzz.

  • Which triplets are supported/not supported? Have you updated the CI baseline?

It is a header-only library, so it should support all.

yeah

  • If you have added/updated a port: Have you run ./vcpkg x-add-version --all and committed the result?

yes

github-actions[bot]
github-actions bot previously approved these changes Oct 7, 2022
ports/rapidfuzz/vcpkg.json Outdated Show resolved Hide resolved
@Adela0814 Adela0814 added category:new-port The issue is requesting a new library to be added; consider making a PR! requires:author-response labels Oct 8, 2022
@Adela0814 Adela0814 added info:reviewed Pull Request changes follow basic guidelines and removed requires:author-response labels Oct 9, 2022
@vicroms vicroms merged commit 083f103 into microsoft:master Oct 9, 2022
@quyykk quyykk deleted the rapidfuzz branch October 9, 2022 21:18
@quyykk quyykk restored the rapidfuzz branch November 1, 2022 14:28
@quyykk quyykk deleted the rapidfuzz branch December 24, 2022 21:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
category:new-port The issue is requesting a new library to be added; consider making a PR! info:reviewed Pull Request changes follow basic guidelines
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants