Misc Fedora-related improvements (#638) #1604

Job	Run time
Run CodeQL tests	6m 30s
Build on macOS for macos	2m 15s
Build on Fedora 40	1m 5s
Build on macOS for iphoneos	1m 16s
Run Coverity tests	0s
Build on Fedora 41	1m 8s
Build on macOS for iphonesimulator	1m 10s
Deploy pages	27s
Build on macOS for androidarm	1m 5s
Build on Fedora rawhide	58s
Build on macOS for androidarm64	1m 11s
Build on Ubuntu 20.04	3m 3s
Build on macOS for androidx86_64	1m 50s
Build on Windows (143, x86)	8m 50s
Build on Ubuntu 22.04	3m 9s
Build on Windows (143, x64)	12m 8s
Build on Ubuntu 24.04	3m 27s
Build on Ubuntu 24.10	2m 50s
	52m 22s

Provide feedback