Build

Merge branch 'topic/minor-pp-cleanups' into 'master' #1441

Job	Run time
Build (ubuntu-latest, dev)	6m 47s
Build (ubuntu-latest, prod)	6m 13s
Build (ubuntu-latest, coverage)	6m 49s
Build (macos-latest, dev)	12m 39s
Build (macos-latest, prod)	13m 18s
Build (macos-latest, coverage)	12m 15s
Build (windows-latest, dev)	11m 22s
Build (windows-latest, prod)	12m 5s
Build (windows-latest, coverage)	12m 31s
	1h 33m 59s

Provide feedback