diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index cfb3d3215..d44dc6435 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -36,8 +36,6 @@ jobs: - run: mkdocs build - name: Deploy docs if: github.event_name != 'pull_request' && github.ref_name == github.event.repository.default_branch - uses: mhausenblas/mkdocs-deploy-gh-pages@master env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - CONFIG_FILE: ./mkdocs.yml - REQUIREMENTS: requirements.docs.txt + run: mike deploy --push dev master diff --git a/mkdocs.yml b/mkdocs.yml index 48824e831..04aad8edd 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -51,6 +51,7 @@ theme: extra: version: provider: mike + alias: true consent: title: Cookie consent description: >-