Fix documentation deployment (#1131)

Author: MaximilianSoerenPollak

.github/workflows/docs.yml

@@ -112,4 +112,4 @@ jobs:
         id: pages-deployment
         uses: ./.github/actions/deploy-versioned-pages
         with:
-          source_folder: extracted_docs
+          source_folder: extracted_docs/html