Enhance srt output recovery (#4399) #12424

Job	Run time
build_js	1m 11s
build_details	4s
build_opam (4.14.x)	4m 25s
build_opam (5.3.x)	4m 44s
build_no_depopts	3m 25s
tree_sitter_parse	1m 7s
build_win32 (x64)	11m 30s
build_posix (debian_trixie, amd64)	8m 21s
lezer_parse	40s
build_posix (debian_trixie, arm64)	8m 11s
run_tests (@citest)	8m 23s
update_doc	7m 16s
build_posix (debian_bookworm, amd64)	8m 33s
run_tests (@doctest)	4m 28s
build_posix (debian_bookworm, arm64)	9m 35s
run_tests (@mediatest)	8m 26s
build_posix (ubuntu_oracular, amd64)	8m 59s
build_posix (ubuntu_oracular, arm64)	9m 13s
build_posix (ubuntu_noble, amd64)	8m 25s
build_posix (ubuntu_noble, arm64)	9m 34s
build_posix (alpine, amd64)	6m 10s
build_posix (alpine, arm64)	6m 5s
fetch_s3_artifacts	24s
build_docker_alpine (amd64)	44s
build_docker_minimal (amd64)	1m 28s
build_docker_alpine (arm64)	50s
build_docker (amd64)	1m 31s
build_docker_minimal (arm64)	1m 20s
build_docker_alpine_minimal (amd64)	40s
build_docker (arm64)	1m 37s
build_docker_alpine_minimal (arm64)	1m 4s
update_release	0s
build_docker_release-minimal	0s
build_docker_release	0s
	2h 28m 23s

Provide feedback