Update workflows for ubuntu 24.04 runners #5640

Job	Run time
miri	3m 2s
Basic Checks	20m 47s
Measure coverage	29m 8s
Additional Builds and Concurrency Tests	15m 52s
Release builds and tests	13m 10s
sanitize (address)	17m 38s
Slow tests	9m 53s
sanitize (address, multi-threading)	20m 22s
sanitize (leak)	8m 10s
sanitize (leak, multi-threading)	10m 26s
	2h 28m 28s

Provide feedback