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