chore(deps): update jamesives/github-pages-deploy-action action to v4… #642

	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/[email protected]
	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/[email protected]
	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