diff options
| author | Dario Nieuwenhuis <[email protected]> | 2020-11-08 19:05:34 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2020-11-08 19:05:34 +0100 |
| commit | 61b1d4e18889fa0c6238fe2d5758e2276a62c590 (patch) | |
| tree | 74d5a76d43fbba03d679b560326e56a5a87613c9 /.github/workflows | |
| parent | e539cd32ca36c10c7c1918dde04ee123aadf752d (diff) | |
Fix build for nrfs with 32 gpios
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions