diff options
| author | C47D <carlos.santiago.diaz@gmail.com> | 2019-07-19 12:59:04 -0500 |
|---|---|---|
| committer | C47D <carlos.santiago.diaz@gmail.com> | 2019-07-19 12:59:04 -0500 |
| commit | fc1594104b4c09ab7576da2f87a98bb76f0fe6d2 (patch) | |
| tree | 010bc96be9bb956a0a85da16da4792ade979c7db /shared-module | |
| parent | ae41bb369f23169a79c8b4164f2eebb46b1771fb (diff) | |
[travis new boards check] Exit with failure if a board in info isn't in travis
Diffstat (limited to 'shared-module')
0 files changed, 0 insertions, 0 deletions