[BUG] make html won't run when no board has been configured.
#26
| Job | Run time |
|---|---|
| 4s | |
| 4s |
make html won't run when no board has been configured.
#26
| Job | Run time |
|---|---|
| 4s | |
| 4s |