diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-04-15 00:52:42 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2024-04-15 00:52:42 +0200 |
| commit | a25cae46c5f01821911f7d989e7d80ff5d8a5376 (patch) | |
| tree | f4f9981448be9aefad6ad83204884b088e8c7fe8 /embassy-executor/src/spawner.rs | |
| parent | 86706bdc1438cdccf017d073f9b8f8ff2a0322fe (diff) | |
ci: test embassy-sync on miri.
Diffstat (limited to 'embassy-executor/src/spawner.rs')
0 files changed, 0 insertions, 0 deletions