9d305a01

By: Lucien Huber <im@lcnbr.ch>

document optimized documentation cache measurement

User request: does it not make sense to use dev here? We do not need to run tests. (I agree therefore with 1). for 2,3,4 do it and then evaluate/measure and time whether it actually helps
GitHub
Time to Start Worker time Duration Time to finish Idle
Config 1m03s 7s 7s 1m10s 1m03s
Eval 1m07s 1m29s 1m29s 2m37s 0s
Build 2m32s 51m39s - - 0s
Test - - - - 0s
Deploy - - - - 0s
Suite 1m03s 53m16s - - 1m03s