Merge remote-tracking branch 'ipa/main' into lambda #508

Job	Run time
Measure coverage	25m 56s
Basic Checks	8m 27s
Additional Builds and Concurrency Tests	13m 4s
miri	4m 11s
Release builds and tests	9m 16s
sanitize (address)	18m 6s
Slow tests	13m 35s
sanitize (address, multi-threading)	17m 21s
sanitize (leak)	7m 49s
sanitize (leak, multi-threading)	8m 47s
	2h 6m 32s

Provide feedback