🎨 Refine time scheduler HAL interaction #370

Job	Run time
quality_checks_pass	1m 11s
build_and_test_22 (clang, 14, 20, libc++, Debug)	3m 4s
sanitize (undefined, clang)	3m 32s
sanitize (undefined, gcc)	4m 7s
build_and_test_24 (clang, 16, 20, libstdc++, Debug)	3m 56s
valgrind	8m 9s
build_and_test_22 (clang, 15, 20, libstdc++, Debug)	2m 55s
build_and_test_24 (clang, 16, 20, libc++, Debug)	3m 48s
sanitize (address, clang)	3m 31s
build_and_test_22 (clang, 15, 20, libc++, Debug)	3m 28s
build_and_test_24 (clang, 17, 20, libstdc++, Debug)	3m 52s
build_and_test_24 (clang, 17, 20, libc++, Debug)	4m 5s
sanitize (address, gcc)	4m 29s
build_and_test_24 (clang, 18, 20, libstdc++, Debug)	3m 44s
sanitize (thread, clang)	5m 14s
build_and_test_24 (clang, 18, 20, libc++, Debug)	4m 11s
sanitize (thread, gcc)	4m 26s
build_and_test_24 (gcc, 12, 20, libstdc++, Debug)	3m 28s
build_and_test_24 (gcc, 13, 20, libstdc++, Debug)	4m 15s
merge_ok	5s
	1h 15m 30s

Provide feedback