You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
50 lines
1.4 KiB
50 lines
1.4 KiB
name: Docs
|
|
|
|
on:
|
|
push:
|
|
tags: [ 'v*.*.*' ]
|
|
branches: ['main']
|
|
workflow_dispatch:
|
|
|
|
permissions:
|
|
contents: write
|
|
|
|
jobs:
|
|
deploy:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
with:
|
|
ref: main
|
|
- uses: actions/setup-python@v4
|
|
with:
|
|
python-version: 3.x
|
|
- run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
|
|
- uses: actions/cache@v3
|
|
with:
|
|
key: mkdocs-material-${{ env.cache_id }}
|
|
path: .cache
|
|
restore-keys: |
|
|
mkdocs-material-
|
|
- 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
|
|
run: |
|
|
git config --global user.name "GitHub Action"
|
|
git config --global user.email "action@github.com"
|
|
- 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 Main
|
|
if: github.ref == 'refs/heads/main'
|
|
run: MKINSIDERS=true mike deploy --update --push ${{github.ref_name}}
|
|
- name: Mike Deploy for Tags
|
|
if: github.ref != 'refs/heads/main'
|
|
run: MKINSIDERS=true mike deploy --update --push ${{github.ref_name}} latest
|
|
env:
|
|
GH_TOKEN: ${{ secrets.GH_TOKEN }}
|