Status

Changes

Console Output

View Build Information

Polling Log

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Started 7 yr 11 mo ago

Took 1 hr 18 min on built-in

#335 (Jul 30, 2016, 9:21:05 PM)

	Changes tuned; (detail / hgweb)
	Started by an SCM change
	Revision: e63c8f2fbd285ce316ac90a09f32a91fe8d51914

S	R	Job	Build #	Duration	Console
		main
		isabelle-repo-makeall	build #335	( 1 hr 10 min )	Console Output
		isabelle-repo-afp	build #335	( 1 hr 18 min )	Console Output