Skip to content

[Pytorch] Add basic c10::optional tests#47014

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

[Pytorch] Add basic c10::optional tests#47014
swolchok wants to merge 4 commits intogh/swolchok/3/basefrom
gh/swolchok/3/head

Conversation

@swolchok
Copy link
Copy Markdown
Contributor

@swolchok swolchok commented Oct 28, 2020

Stack from ghstack:

Some tests are better than zero tests.

Differential Revision: D24558649

Some tests are better than zero tests.

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

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

dr-ci bot commented Oct 28, 2020

💊 CI failures summary and remediations

As of commit 6ffe98e (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.

…sts"

Some tests are better than zero tests.

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

[ghstack-poisoned]
Copy link
Copy Markdown
Contributor

@smessmer smessmer left a comment

Choose a reason for hiding this comment

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

thanks, this was sorely needed

Some tests are better than zero tests.

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

[ghstack-poisoned]
Some tests are better than zero tests.

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

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

This pull request has been merged in ae70637.

@facebook-github-bot facebook-github-bot deleted the gh/swolchok/3/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