Update ci-docs.yml #15

	name: Homepage Docs Build & Deploy
	on:
	push:
	tags: [ 'v..*' ]
	branches: ['main']
	workflow_dispatch:
	permissions:
	contents: write
	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Set env
	run: echo "RELEASE_VERSION=${GITHUB_REF#refs/*/}" >> $GITHUB_ENV
	- name: Set Git config
	run: \|
	git config --global user.name "GitHub Action"
	git config --global user.email "[email protected]"
	- 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: 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 Tags
	if: github.ref != 'refs/heads/main'
	run: \|
	git checkout main
	mike deploy --push ${{github.ref_name}} latest
	- name: Mike Deploy for Main
	if: github.ref == 'refs/heads/main'
	run: mike deploy --update --push main
	env:
	GH_TOKEN: ${{ secrets.GH_TOKEN }}

Provide feedback