diff options
| author | Dario Nieuwenhuis <[email protected]> | 2022-11-28 00:12:13 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2022-11-28 00:12:13 +0100 |
| commit | 787e5d49078de4b09919711e6d9870a7c2a86b32 (patch) | |
| tree | 920623238d8b5341f00720359a145b68c5519bd3 /embassy-executor/src/raw/run_queue.rs | |
| parent | aedcc472c9fa133f73fcf3a6139d178c81159452 (diff) | |
Add -time, -sync to CI with all features.
Diffstat (limited to 'embassy-executor/src/raw/run_queue.rs')
0 files changed, 0 insertions, 0 deletions