Merge pull request #1391 from rberaldo/master #1281

Job	Run time
build_debian_bookworm	3m 36s
build_android	12m 17s
build_debian_bullseye	3m 8s
build_debian_buster	2m 56s
build_debian_sid	4m 1s
build_macos_arm	2m 13s
build_macos_intel	7m 41s
build_raspios_bullseye_armhf	9m 1s
build_ubuntu_focal	3m 30s
build_ubuntu_jammy	3m 2s
build_ubuntu_mantic	3m 39s
build_windows	13m 49s
check_formatting	11s
check_spelling	18s
create_full_archive	7s
update_nightly_release	6s
	1h 9m 35s

Provide feedback