Repository navigation

gha: bump the github-actions group with 2 updates (#313) #217

Job	Run time
sync / sync	46s
sync / commit	25s
check / Check for zero-width space characters	1m 3s
check / Build docs (html)	10m 2s
check / Build docs (epub)	9m 53s
check / Build docs (latex)	7m 38s
check / Lint translations	1m 3s
check / Build docs (pdf)	6m 55s
	37m 45s