diff options
| author | Dario Nieuwenhuis <[email protected]> | 2025-09-05 13:06:36 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-09-05 13:06:36 +0000 |
| commit | fbe2c0d43b777067027ce1413946892cb7d12001 (patch) | |
| tree | dc46ee5e7b8830d6836fc78864965b8e5b49aef5 /examples | |
| parent | 70aaa82e490a8c5637de7e38cb636f04c1d187f7 (diff) | |
| parent | 286d887529c66d8d1b4c7b56849e7a95386d79db (diff) | |
Merge pull request #4637 from embassy-rs/executor-fix-main-name
executor: always name main task `main`, not just with rtos-trace.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions