Repository navigation

Set version to 3.12.1dev #5819

Job	Run time
Build vars & Github release (if required)	7s
Build for MacOS (artifacts)	6m 11s
Build for Windows (artifact+codeQL)	22m 24s
Build for MacOS Legacy (artifacts+CodeQL)	26m 2s
Build for Linux .deb amd64 (artifacts+codeQL)	7m 17s
Build for Android .apk (artifact+codeQL)	35m 16s
Create files for .deb repository (if requested)	0s
	1h 37m 17s