Update dependency pygments to v2.17.0 #212

	name: Check build for renovate
	on:
	push:
	branches:
	- 'renovate/**'
	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

Provide feedback