not intended for merge; check that PR comments still work #681

Job	Run time
Process sizes (linux64, new) / Build linux64	39s
Process sizes (linux64, old) / Build linux64	52s
Process sizes (win64, new) / Build win64	1m 32s
Process sizes (win64, old) / Build win64	1m 33s
windows (64-bit)	28s
ubuntu (64-bit)	5s
report	5s
	5m 14s

Provide feedback