diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-05-29 16:55:38 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-05-29 16:55:38 +0000 |
| commit | cc23129456832ce4d65ce0b8088a011395fca4fb (patch) | |
| tree | 7bbcae2430f63b9a64d85fd633a9862fec78eeed /embassy-boot | |
| parent | 760a32246a7798f23761533b274e4015ca913129 (diff) | |
| parent | 6cb6e575920613c2aefca22c06764a098521cf5b (diff) | |
Merge pull request #1502 from embassy-rs/ci-fixes
CI fixes.
Diffstat (limited to 'embassy-boot')
0 files changed, 0 insertions, 0 deletions