Repository navigation

gha: bump the github-actions group with 2 updates #734

Job	Run time
sync / sync	50s
sync / commit	30s
check / Check for zero-width space characters	8s
check / Lint translations	41s
check / Build docs (html)	9m 25s
check / Build docs (epub)	8m 5s
check / Build docs (latex)	10m 28s
check / Build docs (pdf)	0s
	30m 7s