Repository navigation

Return "ok" from setSkillLevel when skillLevel is null #6656

Job	Run time
Build vars & Github release (if required)	9s
Build for Android .apk (artifact+codeQL)	38m 41s
Build for Windows (artifact+codeQL)	27m 0s
Build for MacOS (artifacts)	6m 39s
Build for MacOS Legacy (artifacts+CodeQL)	22m 57s
Build for Linux .deb amd64 (artifacts+codeQL)	8m 23s
Create files for .deb repository (if requested)	0s
	1h 43m 49s