diff options
| author | Dario Nieuwenhuis <[email protected]> | 2020-12-01 17:46:56 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2020-12-01 17:46:56 +0100 |
| commit | 6f76c0ebccf1d3d7b8712eaa145f6033b277a6ae (patch) | |
| tree | b85002c833e5100080050c259754ad7b2945ef60 /.github/workflows | |
| parent | 78135a81d96a8bb74207b3f73c9f261aa4561a18 (diff) | |
Add support for log+defmt again, but better.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions