diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-01-11 16:00:12 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-01-11 16:00:12 +0000 |
| commit | 650f5661495e5c0d6fe25bd3742058a02ac0bae1 (patch) | |
| tree | 17ccb5d369a9e7b0d2dbe0c7e39804b7f1f65458 /.github/ci | |
| parent | dcffad6b05a06bc5f4d09a35184d5ffe158e02cf (diff) | |
| parent | 15f94fb0fc70463b9a50c997083fee3f5758b17a (diff) | |
Merge pull request #2432 from embassy-rs/time-driver-crate
time: split driver into a separate embassy-time-driver crate.
Diffstat (limited to '.github/ci')
0 files changed, 0 insertions, 0 deletions