Update dependency pygments to v2.17.0 (#652) #523

	name: Build and deploy to gh-pages
	on:
	push:
	branches:
	- master
	workflow_dispatch: # Allow to run workflow manually

	jobs:
	build-and-deploy:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout 📥
	uses: actions/checkout@v4.1.1
	with:
	token: '${{ secrets.GHPAGES_ACTION_CHECKOUT_TOKEN_PAT }}'
	fetch-depth: '0' # https://github.com/timvink/mkdocs-git-revision-date-localized-plugin#note-when-using-build-environments

	- name: Install dependencies 🐄
	run: \|
	sudo apt-get -y update
	sudo apt-get -y install python3-pip
	pip install -r requirements.txt

	- name: Build site 🔧
	run: \|
	mkdocs build --verbose --clean

	- name: Fixing redirects 🚧
	run: \|
	bash .github/workflows/fix_redirects.sh

	- name: Deploy 🚀
	uses: JamesIves/github-pages-deploy-action@v4.4.3
	with:
	token: '${{ secrets.GHPAGES_ACTION_DEPLOY_TOKEN_PAT }}'
	git-config-name: '${{ secrets.GHPAGES_ACTION_DEPLOY_GITNAME_PAT }}'
	git-config-email: '${{ secrets.GHPAGES_ACTION_DEPLOY_GITEMAIL_PAT }}'
	branch: gh-pages # The branch the action should deploy to.
	folder: site # The folder the action should deploy.

Provide feedback