4718 hls graph session restart kills threads belong to later sesion session #12138

Job	Run time
pre_job	7s
bench_init (9.10, ubuntu-latest)	12m 39s
bench_init (9.8, ubuntu-latest)	12m 44s
bench_example (9.8, ubuntu-latest, 3.14, cabal)	32m 50s
bench_example (9.8, ubuntu-latest, 3.14, lsp-types)	33m 12s
bench_example (9.10, ubuntu-latest, 3.14, lsp-types)	3m 33s
bench_example (9.10, ubuntu-latest, 3.14, cabal)	24m 24s
bench_post_job	2s
	1h 59m 31s

Provide feedback