diff --git a/.github/workflows/build_docs_latest.yml b/.github/workflows/build_docs_latest.yml index d8a727731..d073bfc03 100644 --- a/.github/workflows/build_docs_latest.yml +++ b/.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 diff --git a/.github/workflows/build_docs_version.yml b/.github/workflows/build_docs_version.yml index 01ae0d23c..06598161e 100644 --- a/.github/workflows/build_docs_version.yml +++ b/.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/branch-names@v5.4 - 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