diff options
| author | Dario Nieuwenhuis <[email protected]> | 2025-09-11 18:30:50 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-09-11 18:30:50 +0200 |
| commit | 49a7770c19aab2dbab994495fb2a584b199e1080 (patch) | |
| tree | 9094e4fb8745849ada00f61144aba60d8a51b5bf /.github/ci | |
| parent | 42c68622eeba3be05e8f8ccdc4072b7aa57f78d1 (diff) | |
| parent | 6ec9bcb1c4dfbe5fc5365d93e75c516bb03bf9fc (diff) | |
Merge pull request #4652 from embassy-rs/executor-priority
executor: add priority scheduler.
Diffstat (limited to '.github/ci')
0 files changed, 0 insertions, 0 deletions