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

ghstack bot skip if a corresponding PR is merged #6425

Closed
wants to merge 1 commit into from

Conversation

kirklandsign
Copy link
Contributor

@kirklandsign kirklandsign commented Oct 22, 2024

Stack from ghstack (oldest at bottom):

If a corresponding fixup PR is merged, the bot should not attempt to create a duplicated one

[ghstack-poisoned]
Copy link

pytorch-bot bot commented Oct 22, 2024

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/6425

Note: Links to docs will display an error until the docs builds have been completed.

❌ 1 New Failure

As of commit 059380d with merge base ca47839 (image):

NEW FAILURE - The following job has failed:

This comment was automatically generated by Dr. CI and updates every 15 minutes.

kirklandsign added a commit that referenced this pull request Oct 22, 2024
If a corresponding fixup PR is merged, the bot should not attempt to create a duplicated one

ghstack-source-id: 20d8aa9dda4e9417914afaf49a84bf343b81d8a3
Pull Request resolved: #6425
@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Oct 22, 2024
@kirklandsign kirklandsign deleted the gh/kirklandsign/4/head branch October 22, 2024 16:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants