diff options
| author | Dario Nieuwenhuis <[email protected]> | 2025-09-11 20:35:35 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-09-11 20:35:35 +0000 |
| commit | 6cc75315652a1029f032f44b5ccd5d1398da05dd (patch) | |
| tree | 0217f38870afa5bab38459698a3ee712f0b427cc /embassy-sync/src/mutex.rs | |
| parent | 49a7770c19aab2dbab994495fb2a584b199e1080 (diff) | |
| parent | 55b3c5c6e8fb5e55a0e507c43db5d9ef32114f64 (diff) | |
Merge pull request #4654 from embassy-rs/devtool-ci
ci: use devtool to build.
Diffstat (limited to 'embassy-sync/src/mutex.rs')
0 files changed, 0 insertions, 0 deletions