ba1d58db

By: Lucien Huber <im@lcnbr.ch>

remove duplicate documentation job from NixCI

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