#900 (May 13, 2017, 9:27:27 PM)

	Changes tuned proofs (detail / hgweb)
	Started by an SCM change
	This run spent: 9.4 sec waiting; 2 min 42 sec build duration; 2 min 52 sec total from scheduled to completion.
	Revision: 7e3399d987e6790cb9278210454bdc24edd5b28d

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #900	( 2 min 30 sec )	Console Output