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