Repository navigation

Merge branch 'release/3_12_1' #5814

Job	Run time
Build vars & Github release (if required)	4s
Build for Linux .deb amd64 (artifacts+codeQL)	7m 21s
Build for MacOS Legacy (artifacts+CodeQL)	31m 36s
Build for MacOS (artifacts)	5m 36s
Build for Android .apk (artifact+codeQL)	25m 51s
Build for Windows (artifact+codeQL)	23m 29s
Create files for .deb repository (if requested)	0s
	1h 33m 57s