diff options
author | Damien George <damien.p.george@gmail.com> | 2019-07-26 12:44:47 +1000 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2019-07-26 12:44:47 +1000 |
commit | 8f55a8fab625d645b189c471f3a32c0de7e5ef7d (patch) | |
tree | 1318b1bc937a6e6b8ec87ef59ef1d9aee2e4036f /tests/unix/extra_coverage.py | |
parent | 473157eeb9f88b3d62a963af087014920a47d624 (diff) |
travis: Build an stm32 board with threading enabled to test it with CI.
Diffstat (limited to 'tests/unix/extra_coverage.py')
0 files changed, 0 insertions, 0 deletions