diff options
| author | Ulf Lilleengen <[email protected]> | 2024-12-10 10:08:51 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-12-10 10:08:51 +0000 |
| commit | 54b6fe6d8459790e20702a06828c4f306bc0eead (patch) | |
| tree | ae14a1f758a13d4b9d6ea079edeea8f7ce711a6c /.github | |
| parent | 86578acaa4d4dbed06ed4fcecec25884f6883e82 (diff) | |
| parent | f0be2fdce4856888bd412fe9475ae55e05cf20a2 (diff) | |
Merge pull request #3627 from embassy-rs/executor-trace-generic
Extend tracing api to support executor id and end task
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions