Do not request unused Propagator<double> #26994

Job	Run time
PR formatting / copyright headers	20s
PR formatting / pragma-once	6s
PR formatting / line endings	20s
PR formatting / clang-format	44s
PR formatting / whitespace	19s
	1m 49s

Provide feedback