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