Repository navigation

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

Job	Run time
sync / sync	48s
sync / commit	26s
check / Build docs (latex)	7m 23s
check / Build docs (html)	5m 42s
check / Build docs (epub)	5m 2s
check / Lint translations	42s
check / Check for zero-width space characters	6s
check / Build docs (pdf)	10m 22s
	30m 31s