Skip to content

[pytorch] Remove c10::nullopt_t::init#47013

Closed
swolchok wants to merge 4 commits intogh/swolchok/2/basefrom
gh/swolchok/2/head
Closed

[pytorch] Remove c10::nullopt_t::init#47013
swolchok wants to merge 4 commits intogh/swolchok/2/basefrom
gh/swolchok/2/head

Conversation

@swolchok
Copy link
Copy Markdown
Contributor

@swolchok swolchok commented Oct 28, 2020

Stack from ghstack:

It was getting used in client code, and it's not part of std::optional.

Differential Revision: D24547710

It was getting used in client code, and it's not part of `std::optional`.

Differential Revision: [D24547710](https://our.internmc.facebook.com/intern/diff/D24547710/)

[ghstack-poisoned]
@dr-ci
Copy link
Copy Markdown

dr-ci bot commented Oct 28, 2020

💊 CI failures summary and remediations

As of commit 0e5344b (more details on the Dr. CI page):


💚 💚 Looks good so far! There are no failures yet. 💚 💚


This comment was automatically generated by Dr. CI (expand for details).Follow this link to opt-out of these comments for your Pull Requests.

Please report bugs/suggestions on the GitHub issue tracker or post in the (internal) Dr. CI Users group.

See how this bot performed.

This comment has been revised 9 times.

It was getting used in client code, and it's not part of `std::optional`.

Differential Revision: [D24547710](https://our.internmc.facebook.com/intern/diff/D24547710/)

[ghstack-poisoned]
It was getting used in client code, and it's not part of `std::optional`.

Differential Revision: [D24547710](https://our.internmc.facebook.com/intern/diff/D24547710/)

[ghstack-poisoned]
It was getting used in client code, and it's not part of `std::optional`.

Differential Revision: [D24547710](https://our.internmc.facebook.com/intern/diff/D24547710/)

[ghstack-poisoned]
@facebook-github-bot
Copy link
Copy Markdown
Contributor

This pull request has been merged in 17be8ae.

@facebook-github-bot facebook-github-bot deleted the gh/swolchok/2/head branch November 8, 2020 15:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants