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

fix: triage await safety for swingset #6526

Closed
wants to merge 2 commits into from

Conversation

erights
Copy link
Member

@erights erights commented Nov 2, 2022

Extracted from #6219 as agreed at #6219 (comment)

The changes to internals/utils.js are being reviewed separately at #6528 but is included here because the changes in this PR depend on those.

@warner I will ask you to review when it is ready. Not ready yet.

@erights erights requested a review from warner November 2, 2022 19:59
@erights erights self-assigned this Nov 2, 2022
@erights erights marked this pull request as draft November 2, 2022 20:05
@mhofman mhofman self-requested a review November 2, 2022 20:17
@erights erights removed request for warner and mhofman November 2, 2022 20:33
@erights erights mentioned this pull request Nov 2, 2022
@erights erights force-pushed the markm-triage-await-safety-swingset branch from de4063b to 173f452 Compare November 9, 2022 05:42
@erights
Copy link
Member Author

erights commented Dec 7, 2022

@warner I will ask you to review when it is ready. Not ready yet.

@warner @turadg @gibson042 @Tyrosine22 my apologies. I no longer remember why I thought it was not ready. I need to look again to remind myself.

@erights
Copy link
Member Author

erights commented Dec 7, 2022

I remember. This siblings of this PR are listed at #6219 (comment) . For these, most of the await analysis is already done. For this one, I simply ran out of energy. There were too many.

@erights
Copy link
Member Author

erights commented Apr 15, 2023

With the simpler await safety rule, this PR is obsolete. Closing.

@erights erights closed this Apr 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant