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

Fix minor typo in comment #42184

Closed
wants to merge 1 commit into from
Closed

Conversation

ezyang
Copy link
Contributor

@ezyang ezyang commented Jul 28, 2020

Stack from ghstack:

Signed-off-by: Edward Z. Yang ezyang@fb.com

Differential Revision: D22809375

Signed-off-by: Edward Z. Yang <ezyang@fb.com>

[ghstack-poisoned]
ezyang added a commit that referenced this pull request Jul 28, 2020
Signed-off-by: Edward Z. Yang <ezyang@fb.com>

ghstack-source-id: 12cee25046a6616f998495c7bd8f9797ef2e6858
Pull Request resolved: #42184
@dr-ci
Copy link

dr-ci bot commented Jul 28, 2020

💊 CI failures summary and remediations

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


None of the CI failures appear to be your fault 💚



🚧 1 fixed upstream failure:

These were probably caused by upstream breakages that were already fixed.

Please rebase on the viable/strict branch (expand for instructions)

Since your merge base is older than viable/strict, run these commands:

git fetch https://github.com/pytorch/pytorch viable/strict
git rebase FETCH_HEAD

Check out the recency history of this "viable master" tracking branch.


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 2 times.

@facebook-github-bot
Copy link
Contributor

@ezyang merged this pull request in 8e3d190.

@facebook-github-bot facebook-github-bot deleted the gh/ezyang/816/head branch August 3, 2020 14:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants