Build mkdocs and deploy to GitHub Pages

Bump mkdocs-git-revision-date-localized-plugin from 1.3.0 to 1.4.2 #3763

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	1m 24s
Deploy docs	0s
	1m 24s