Async help loading
Open
enhancement
help wanted
status:blocked
- Dominant language
- F#
- Stars
- 30
- Forks
- 9
- PR merge metrics
- No merged PRs in 30d
Description
After #90, all of our help loading is currently synchronous.
We should make that async (and maybe get rid of the cache?), but some changes will be needed for this.
- [x] #38
- [ ] introduce some kind of sync context or another kind of better scheduling
See `TODO[#93]` in the game code.
Contributor guide
Assessment
This issue has not been assessed yet.