4f955f5a

By: Lucien Huber <im@lcnbr.ch>

reduce documentation cache cold path

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 1s 4s 4s 6s 1s
Eval 6s 1m22s 1m22s 1m29s 0s
Build 1m27s 2h08m52s - - 0s
Test - - - - 9m54s
Deploy - - - - 0s
Suite 1s 2h10m20s - - 9m57s