Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

[WIP] Async operations #178

Closed
wants to merge 8 commits into from

Conversation

bugadani
Copy link
Contributor

@bugadani bugadani commented May 2, 2023

I'm just dropping is as a draft in case anyone wants to try this and to get CI feedback. Since the PR relies on my display-interface fork (thanks @dragonnn for the implementation!) this will never be able to land in its current form. I'd like to land everything before 9dfc7cd separately, which means quite a bit of refactoring, though hopefully the value proposition speaks for itself (that is, adding async after that is a completely additive commit, without any more necessary rework and minimal duplication).

@bugadani bugadani force-pushed the async branch 11 times, most recently from fdd7317 to d1711c9 Compare May 2, 2023 16:45
@bugadani bugadani force-pushed the async branch 3 times, most recently from 8d375e5 to 53c510e Compare May 14, 2023 15:15
@bugadani bugadani force-pushed the async branch 2 times, most recently from 4c1540c to 635f219 Compare May 18, 2023 09:09
@bugadani bugadani force-pushed the async branch 4 times, most recently from 00eeb54 to 957f498 Compare June 1, 2023 15:22
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant