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: 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 env: GH_TOKEN: ${{ secrets.GH_TOKEN }}