Create docs-publish.yml

.github/workflows/docs-publish.yml

@@ -0,0 +1,49 @@
+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 }}