update build for insiders
This commit is contained in:
parent
86d3fc4fbb
commit
7a6470381b
1 changed files with 5 additions and 5 deletions
10
.github/workflows/docs-publish.yml
vendored
10
.github/workflows/docs-publish.yml
vendored
|
@ -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 }}
|
||||
|
|
Loading…
Add table
Reference in a new issue