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.

Sign up for GitHub

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

Jump to bottom

"merges cleanly into compatible/develop" script imperfect #11206

Closed
yorickvP opened this issue Jun 7, 2022 · 1 comment
Closed

"merges cleanly into compatible/develop" script imperfect #11206

yorickvP opened this issue Jun 7, 2022 · 1 comment
Assignees
@kantp
Labels
consider-for-closing MinaFoundation

Comments

@yorickvP
Copy link
Collaborator

yorickvP commented Jun 7, 2022 •
edited
Loading

While merging #11173 and #11174, CI passed on 11173 while it shouldn't have, and then didn't pass on 11174 while it should have.
@yorickvP yorickvP added the Tweag label Jun 7, 2022
@robinbb
Copy link

robinbb commented Jun 7, 2022

@yorickvP @kantp Since the knowledge about this is possessed by Yorick, and because it fits squarely into the theme of the other work with the Tweag label, we should accept this work into the backlog. @yorickvP does it not make sense to correct this promptly to avoid false negatives and false positives on PRs?

@yorickvP yorickvP self-assigned this Jun 9, 2022
@robinbb robinbb assigned kantp and unassigned yorickvP Aug 24, 2022
@robinbb robinbb removed the Tweag label Oct 12, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kantp kantp

Labels
consider-for-closing MinaFoundation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@robinbb @yorickvP @kantp @dkijania