fic(circleci): increase timeout for generating GitHub Pages (#1570)

Co-authored-by: Heiko Holz <heiko.holz@novatec-gmbh.de>

Author: NTTechnicalUser

.circleci/config.yml

@@ -132,6 +132,7 @@ jobs:
       - attach_repo
       - run:
           name: Deploying to GitHub Pages
+          no_output_timeout: 20m
           working_directory: ~/inspectit/repo/inspectit-ocelot-documentation/website
           command: |
             git config --global user.email "NTTechnicalUser@users.noreply.github.com"
@@ -179,6 +180,11 @@ jobs:
             git add versions.json versioned_docs versioned_sidebars
             git commit -m "[skip ci] Publish documentation v${CIRCLE_TAG}"
             git push
+      - run:
+          name: Deploying to GitHub Pages
+          no_output_timeout: 20m
+          working_directory: ~/inspectit/inspectit-ocelot-documentation/website
+          command: |
             GIT_USER=NTTechnicalUser CUSTOM_COMMIT_MESSAGE="[skip ci] Publish documentation v${CIRCLE_TAG}" npm run publish-gh-pages
 
 # ###############################################