Skip to content

Conversation

@XiaobingSuper
Copy link
Collaborator

@XiaobingSuper XiaobingSuper commented Jul 6, 2020

Stack from ghstack:

Differential Revision: D22440766

XiaobingSuper added a commit that referenced this pull request Jul 6, 2020
ghstack-source-id: cc4db1f
Pull Request resolved: #40996
@dr-ci
Copy link

dr-ci bot commented Jul 6, 2020

💊 CI failures summary and remediations

As of commit 9b37b95 (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 1 time.

@ngimel ngimel added the triaged This issue has been looked at a team member, and triaged and prioritized into an appropriate module label Jul 7, 2020
@facebook-github-bot
Copy link
Contributor

@VitalyFedyunin merged this pull request in 2b14f2d.

@facebook-github-bot facebook-github-bot deleted the gh/xiaobingsuper/23/head branch July 20, 2020 14:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Merged open source triaged This issue has been looked at a team member, and triaged and prioritized into an appropriate module

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants