diff --git a/.github/workflows/ci-docs.yml b/.github/workflows/ci-docs.yml index 65b10788..07f917fd 100644 --- a/.github/workflows/ci-docs.yml +++ b/.github/workflows/ci-docs.yml @@ -30,6 +30,12 @@ jobs: - run: sudo apt-get install pngquant - run: pip install mike - run: pip install git+https://${GH_TOKEN}@github.com/benphelps/mkdocs-material-insiders.git + - name: Sync gh-pages + run: | + git fetch origin gh-pages + git checkout gh-pages + git pull origin gh-pages + git checkout main - name: Mike Deploy for Tags if: github.ref != 'refs/heads/main' run: mike deploy --push ${{github.ref_name}} latest