From bbeedfa5a48732e743cd50274a013e39175be11f Mon Sep 17 00:00:00 2001 From: Alessandro De Maria Date: Sat, 31 Aug 2024 21:00:50 +0000 Subject: [PATCH] Deploy mike --- .github/workflows/documentation.yml | 4 +--- mkdocs.yml | 1 + 2 files changed, 2 insertions(+), 3 deletions(-) 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: >-