diff --git a/.github/workflows/docs-publish.yml b/.github/workflows/docs-publish.yml index 0985e47cf..3fe68e70f 100644 --- a/.github/workflows/docs-publish.yml +++ b/.github/workflows/docs-publish.yml @@ -5,7 +5,7 @@ on: tags: [ 'v*.*.*' ] branches: ['main'] workflow_dispatch: - + permissions: contents: write @@ -26,7 +26,7 @@ jobs: path: .cache restore-keys: | mkdocs-material- - - run: sudo apt-get install pngquant + - 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: Set Git config @@ -41,9 +41,9 @@ jobs: git checkout main - name: Mike Deploy for Main if: github.ref == 'refs/heads/main' - run: mike deploy --update --push ${{github.ref_name}} + run: MKINSIDERS=true mike deploy --update --push ${{github.ref_name}} - name: Mike Deploy for Tags if: github.ref != 'refs/heads/main' - run: mike deploy --update --push ${{github.ref_name}} latest + run: MKINSIDERS=true mike deploy --update --push ${{github.ref_name}} latest env: - GH_TOKEN: ${{ secrets.GH_TOKEN }} + GH_TOKEN: ${{ secrets.GH_TOKEN }}