🚑 Fix documentation generation

Until further testing the versions of relevant modules are fixed to

- mkdocs==1.5.2
- mkdocs-material=8.3.4
- mike==1.1.2

.github/workflows/build_docs_latest.yml

@@ -17,7 +17,7 @@ jobs:
         with:
           python-version: 3.x
       - name: Install python packages
-        run: pip install mkdocs-material==8.3.4 mike setuptools
+        run: pip install mkdocs==1.5.2 mkdocs-material==8.3.4 mike==1.1.2 setuptools
       - name: Configure git user
         run: |
           git config --local user.email "github-actions[bot]@users.noreply.github.com"
@@ -27,7 +27,7 @@ jobs:
         id: tag_name
       - name: Deploy with mike
         run: |
-          mike deploy --update-aliases master stable
+          mike deploy --force --update-aliases master stable
           mike retitle master stable
           mike set-default --push stable
 

.github/workflows/build_docs_version.yml

@@ -16,7 +16,7 @@ jobs:
         with:
           python-version: 3.x
       - name: Install python packages
-        run: pip install mkdocs-material==8.3.4 mike setuptools
+        run: pip install mkdocs=1.5.2 mkdocs-material==8.3.4 mike==1.1.2 setuptools
       - name: Configure git user
         run: |
           git config --local user.email "github-actions[bot]@users.noreply.github.com"
@@ -29,5 +29,5 @@ jobs:
         uses: tj-actions/[email protected]
       - name: Deploy with mike
         run: |
-          mike deploy --push ${{ steps.branch-name.outputs.current_branch }} ${{ steps.tag_name.outputs.tag }}
+          mike deploy --force --push ${{ steps.branch-name.outputs.current_branch }} ${{ steps.tag_name.outputs.tag }}
           mike set-default --push stable