#1710 (Jun 26, 2018, 3:20:09 PM)

	Changes Isabelle+AFP build profile (detail / hgweb)
	Started by an SCM change
	This run spent: 6.6 sec waiting; 4 min 17 sec build duration; 4 min 24 sec total from scheduled to completion.
	Revision: b1260a2048edc56a64fa7a9dbcee8782a7691714

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1710	( 3 min 26 sec )	Console Output