diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-10-22 03:34:18 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-10-22 03:34:18 +0200 |
| commit | c94c5516d1e9681c7b8222b9ee30f416b4e84c7d (patch) | |
| tree | 341ae2284dd6fc11ed40194ce28ab04c193cc85f /.github/workflows | |
| parent | d7692b1ae8775723e54de8574a190df4864aa854 (diff) | |
net: automatically enable defmt/ip_in_core
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions