infra: Switch docs build to incremental#1437

MaximilianSoerenPollak merged 1 commit intoeclipse-score:maineclipse-score/score:mainfrom

nicu1989:nicu1989_build_docs_with_incrementalnicu1989/score:nicu1989_build_docs_with_incrementalCopy head branch name to clipboard