embassy/embassy-executor/gen_config.py, branch main Unnamed repository; edit this file 'description' to name the repository. [embassy-executor] improved documentation 2023-12-22T18:05:16+00:00 Barnaby Walters barnaby@waterpigs.co.uk 2023-12-22T18:05:16+00:00 6bbc316312b2ba372ea05c52924d99bc4fb5382a * Feature auto-documentation * Task arena sizes in a <details> list * Non-documented comment explaining turbowakers with see-also link Further improvements: * Are the task-arena-size-* numbers sizes in bytes? or something else? * Task arena section could benefit from advice about how to choose a suitable size 
* Feature auto-documentation
* Task arena sizes in a <details> list
* Non-documented comment explaining turbowakers with see-also link

Further improvements:

* Are the task-arena-size-* numbers sizes in bytes? or something else?
* Task arena section could benefit from advice about how to choose a
  suitable size
executor: make task arena size configurable. 2023-11-24T22:52:09+00:00 Dario Nieuwenhuis dirbaio@dirbaio.net 2023-11-24T21:39:08+00:00 996c3c1f7e389b1e7d26ca6f02524fff3d63212e