diff options
| author | Dario Nieuwenhuis <[email protected]> | 2025-07-08 23:36:51 +0200 |
|---|---|---|
| committer | diondokter <[email protected]> | 2025-08-29 13:22:01 +0200 |
| commit | 2ba34ce2178d576f339f0b0dac70ac125f81cc5b (patch) | |
| tree | 604ab957e698b371d45c29df7e8099569c1a3df8 /.github | |
| parent | 658a52fb99e47d3d2f08ebf66335774930ad35ac (diff) | |
executor: allow trace and rtos-trace to coexist additively.
Before, enabling `trace` would enable embassy-native tracing, and
enabling *both* would *disable* embassy-native tracing.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions