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