Do not skip full cmake configuration if any of USE_DOCS and USE_SCOREBOARD is enabled
#417
| Job | Run time |
|---|---|
| 5s | |
| 5s |
USE_DOCS and USE_SCOREBOARD is enabled
#417
| Job | Run time |
|---|---|
| 5s | |
| 5s |