diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-05-29 18:09:05 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-05-29 18:09:05 +0000 |
| commit | 642eb1400ba5508321d7aed438dc5033a652e2fb (patch) | |
| tree | 82e888ad5ea0af46fd33188fdf923e3d2ecd0a1a /examples | |
| parent | cc23129456832ce4d65ce0b8088a011395fca4fb (diff) | |
| parent | 421ee4dfbfbbdc007265498d4f529687c16d89af (diff) | |
Merge pull request #1503 from embassy-rs/ci-fixes
ci: add stable build, add tests.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions
