Skip to content

Remove unused variable vecVecStartIdx#42257

Closed
xuhdev wants to merge 1 commit intopytorch:masterfrom
xuhdev:unused-quantized
Closed

Remove unused variable vecVecStartIdx#42257
xuhdev wants to merge 1 commit intopytorch:masterfrom
xuhdev:unused-quantized

Conversation

@xuhdev
Copy link
Copy Markdown
Collaborator

@xuhdev xuhdev commented Jul 29, 2020

No description provided.

@xuhdev xuhdev requested a review from vkuzo July 29, 2020 21:57
@dr-ci
Copy link
Copy Markdown

dr-ci Bot commented Jul 30, 2020

💊 CI failures summary and remediations

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


  • 1/1 failures possibly* introduced in this PR
    • 1/1 non-CircleCI failure(s)

ci.pytorch.org: 1 failed


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.

@xuhdev
Copy link
Copy Markdown
Collaborator Author

xuhdev commented Aug 13, 2020

@pytorchbot merge this please

@pytorchbot pytorchbot added the merge-this-please Was marked for merge with @pytorchbot merge this please label Aug 13, 2020
Copy link
Copy Markdown
Contributor

@facebook-github-bot facebook-github-bot left a comment

Choose a reason for hiding this comment

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

@ezyang has imported this pull request. If you are a Facebook employee, you can view this diff on Phabricator.

@xuhdev xuhdev deleted the unused-quantized branch August 17, 2020 23:03
@facebook-github-bot
Copy link
Copy Markdown
Contributor

@ezyang merged this pull request in 1f6e6a1.

laurentdupin pushed a commit to laurentdupin/pytorch that referenced this pull request Apr 24, 2026
Summary: Pull Request resolved: pytorch#42257

Reviewed By: gchanan

Differential Revision: D23109328

Pulled By: ezyang

fbshipit-source-id: dacd438395fedd1050ad3ffb81327bbb746c776c
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-this-please Was marked for merge with @pytorchbot merge this please Merged open source

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants