Another fix for CI-only configs #551

Job	Run time
Measure coverage	27m 33s
miri	3m 21s
Additional Builds and Concurrency Tests	14m 41s
Basic Checks	20m 7s
Release builds and tests	12m 45s
sanitize (address)	19m 32s
Slow tests	21m 30s
sanitize (address, multi-threading)	18m 58s
sanitize (leak)	8m 58s
sanitize (leak, multi-threading)	8m 22s
	2h 35m 47s

Provide feedback