Skip to content

[fp16] create a new port#16340

Merged
vicroms merged 6 commits intomicrosoft:masterfrom
luncliff:port/fp16
Apr 1, 2021
Merged

[fp16] create a new port#16340
vicroms merged 6 commits intomicrosoft:masterfrom
luncliff:port/fp16

Conversation

@luncliff
Copy link
Copy Markdown
Contributor

What does your PR fix?

There was no port request for this project.

This is one of the 3rd party libraries for the PyTorch project. The PR will be used for future support of the libtorch port.

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

This port is a header-only library, so every triplet must be available.

Does your PR follow the maintainer guide?

The library doesn't have a tag/release.

@luncliff luncliff marked this pull request as draft February 21, 2021 08:06
@luncliff
Copy link
Copy Markdown
Contributor Author

luncliff commented Feb 21, 2021

This PR will be rebased when #16339 is merged. To prevent merge, it will remain in the draft mode.

@luncliff luncliff mentioned this pull request Feb 21, 2021
3 tasks
@NancyLi1013 NancyLi1013 added category:new-port The issue is requesting a new library to be added; consider making a PR! depends:different-pr This PR or Issue depends on a PR which has been filed labels Feb 22, 2021
@luncliff luncliff marked this pull request as ready for review February 25, 2021 01:27
@NancyLi1013 NancyLi1013 removed the depends:different-pr This PR or Issue depends on a PR which has been filed label Feb 25, 2021
@NancyLi1013 NancyLi1013 added info:needs-maintainer-attention Lets the current 'on rotation' vcpkg maintainer know they need to look at this. and removed requires:author-response labels Mar 1, 2021
@NancyLi1013
Copy link
Copy Markdown
Contributor

LGTM now, thanks for adding this new port @luncliff.

@vicroms vicroms merged commit 67d8f45 into microsoft:master Apr 1, 2021
@luncliff luncliff deleted the port/fp16 branch April 2, 2021 01:04
@luncliff luncliff mentioned this pull request Apr 10, 2021
19 tasks
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:needs-maintainer-attention Lets the current 'on rotation' vcpkg maintainer know they need to look at this.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants