Update theme version #13

	name: Deploy Documentation

	on:
	push:
	branches:
	- master

	jobs:
	deploy:
	runs-on: ubuntu-latest
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- uses: actions/setup-node@v4
	with:
	node-version: "20.10.0"

	- name: Install modules
	run: npm i

	- name: Build docs
	run: npm run build

	- name: Deploy to gh-pages branch
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	git config user.name "github-actions[bot]"
	git config user.email "github-actions[bot]@users.noreply.github.com"
	git fetch origin gh-pages
	git checkout gh-pages
	rsync -av --delete --exclude=.git --exclude=CNAME --exclude=.nojekyll --exclude=dist dist/ ./
	rm -rf dist node_modules
	git add -A
	git diff --staged --quiet \|\| git commit -m "deploy: ${{ github.sha }}"
	git push "https://x-access-token:${GITHUB_TOKEN}@github.com/${{ github.repository }}.git" gh-pages

Navigation Menu