🎨 Refine time scheduler HAL interaction #369

Job	Run time
sanitize (undefined, clang)	3m 19s
quality_checks_pass	1m 56s
sanitize (undefined, gcc)	4m 4s
build_and_test_24 (clang, 16, 20, libstdc++, Debug)	3m 36s
build_and_test_22 (clang, 14, 20, libc++, Debug)	3m 1s
sanitize (address, clang)	4m 35s
build_and_test_22 (clang, 15, 20, libstdc++, Debug)	3m 0s
sanitize (address, gcc)	4m 14s
valgrind	7m 17s
build_and_test_22 (clang, 15, 20, libc++, Debug)	3m 0s
sanitize (thread, clang)	3m 37s
build_and_test_24 (clang, 16, 20, libc++, Debug)	3m 42s
sanitize (thread, gcc)	4m 2s
build_and_test_24 (clang, 17, 20, libstdc++, Debug)	3m 29s
build_and_test_24 (clang, 17, 20, libc++, Debug)	4m 1s
build_and_test_24 (clang, 18, 20, libstdc++, Debug)	3m 37s
build_and_test_24 (clang, 18, 20, libc++, Debug)	4m 4s
build_and_test_24 (gcc, 12, 20, libstdc++, Debug)	3m 36s
build_and_test_24 (gcc, 13, 20, libstdc++, Debug)	3m 53s
merge_ok	2s
	1h 12m 5s

Provide feedback