diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2019-07-25 22:54:14 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-25 22:54:14 -0700 |
| commit | f8d2776177f56058316f218fab0cb3a7fa672e53 (patch) | |
| tree | 16d357fe73b8358c285d58be017bac7a30c77cf1 /docs | |
| parent | be1fd5e995fcb581cf7e616bc67ef80822209224 (diff) | |
Extend existing board lists
Adding another means a build would be 6 concurrent jobs and make two not fit side by side in the 10 total we have.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions