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

--keep-going is stable #16442

Closed
wants to merge 1 commit into from
Closed

--keep-going is stable #16442

wants to merge 1 commit into from

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Jan 29, 2024

Since 1.74, so still a bit too early to merge

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jan 29, 2024
@Veykril Veykril added S-blocked Status: marked as blocked ❌ on something else such as an RFC or other implementation work. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jan 29, 2024
@bors
Copy link
Contributor

bors commented Feb 12, 2024

☔ The latest upstream changes (presumably #16537) made this pull request unmergeable. Please resolve the merge conflicts.

@Veykril
Copy link
Member Author

Veykril commented Feb 23, 2024

Superceded by #16442 #16621

@Veykril Veykril closed this Feb 23, 2024
@lnicola
Copy link
Member

lnicola commented Feb 23, 2024

Superceded by #16442

By whom?

@Veykril
Copy link
Member Author

Veykril commented Feb 23, 2024

oops

@Veykril
Copy link
Member Author

Veykril commented Feb 23, 2024

by #16621

@Veykril Veykril deleted the keep-going branch September 9, 2024 11:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-blocked Status: marked as blocked ❌ on something else such as an RFC or other implementation work.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants