Merge pull request #1647 from ruks/dev2 #47

	name: ci
	on:
	push:
	branches:
	- dev
	permissions:
	contents: write
	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Configure Git Credentials
	run: \|
	git config --global user.email "[email protected]"
	git config --global user.name "Choreo CI Agent"
	- uses: actions/setup-python@v5
	with:
	python-version: 3.x
	- run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
	- uses: actions/cache@v4
	with:
	key: mkdocs-material-${{ env.cache_id }}
	path: .cache
	restore-keys: \|
	mkdocs-material-
	- run: \|
	echo "Installing Python dependencies"
	pip install --upgrade pip # Ensure pip is up-to-date
	pip install zipp==3.0.0
	pip install pathlib2==2.3.5
	pip install -U --upgrade mkdocs==1.4.2
	pip install Pygments==2.14.0
	pip install pymdown-extensions==9.10
	pip install mkdocs-minify-plugin==0.6.2
	pip install mkdocs-markdownextradata-plugin==0.2.5
	pip install mkdocs-redirects==1.2.0
	pip install pathlib==1.0.1
	pip install -U mkdocs-material==9.1.2
	pip install markdown-include==0.8.1
	pip install markdown==3.2.1
	pip install mkdocs-exclude==1.0.2
	pip install -U Jinja2==3.1.0
	pip install mkdocs-glightbox==0.3.4
	pip install mkdocs-include-markdown-plugin==1.0.0
	pip install mkdocs-open-in-new-tab==1.0.3
	- run: mkdocs gh-deploy --config-file en/mkdocs.yml --force
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Provide feedback