#1323 (Jan 14, 2018, 1:35:09 AM)

	Changes tune PCF proofs (detail / hgweb)
	Started by an SCM change
	This run spent: 6.4 sec waiting; 14 min build duration; 14 min total from scheduled to completion.
	Revision: 392e4d4d18715c6569fb8826fd9649e7abfd4906

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1323	( 4 min 6 sec )	Console Output