Thanks to visit codestin.com
Credit goes to github.com

Skip to content

[jit] Add len() for strings#19320

Closed
driazati wants to merge 1 commit into
gh/driazati/10/basefrom
gh/driazati/10/head
Closed

[jit] Add len() for strings#19320
driazati wants to merge 1 commit into
gh/driazati/10/basefrom
gh/driazati/10/head

Conversation

@driazati
Copy link
Copy Markdown
Contributor

@driazati driazati commented Apr 16, 2019

Stack from ghstack:

Differential Revision: D14961078

@facebook-github-bot facebook-github-bot added the oncall: jit Add this issue/PR to JIT oncall triage queue label Apr 16, 2019
@driazati driazati requested a review from eellison April 16, 2019 20:36
Copy link
Copy Markdown
Contributor

@eellison eellison left a comment

Choose a reason for hiding this comment

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

LG

@zou3519 zou3519 deleted the gh/driazati/10/head branch April 16, 2019 22:13
@facebook-github-bot
Copy link
Copy Markdown
Contributor

@driazati merged this pull request in 78f589e.

zhangguanheng66 pushed a commit to zhangguanheng66/pytorch that referenced this pull request May 6, 2019
Summary:
Pull Request resolved: pytorch#19320
ghimport-source-id: 62131cb24e9bf65f0ef3e60001cb36509a1f4163

Reviewed By: bethebunny

Differential Revision: D14961078

Pulled By: driazati

fbshipit-source-id: 08b9a4b10e4a47ea09ebf55a4743defa40c74698
laurentdupin pushed a commit to laurentdupin/pytorch that referenced this pull request Apr 24, 2026
Summary:
Pull Request resolved: pytorch#19320
ghimport-source-id: 62131cb24e9bf65f0ef3e60001cb36509a1f4163

Reviewed By: bethebunny

Differential Revision: D14961078

Pulled By: driazati

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

Labels

oncall: jit Add this issue/PR to JIT oncall triage queue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants