ba1d58db

By: Lucien Huber <im@lcnbr.ch>

remove duplicate documentation job from NixCI

Follow up the requested docs bookmark advance and NixCI tracking.
GitHub

Total

15s

Time to Start Worker time Duration Time to finish Idle
Config 2s 15s 15s 17s 2s
Eval - - - - -
Build - - - - -
Suite 2s 15s 15s 17s 2s

Timeline

Config Failed
0s10s