Status

Changes

Console Output

View as plain text

View Build Information

Environment Variables

Mercurial Build Data

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Started 7 yr 12 mo ago

Took 1 hr 15 min on workermta2

#297 (Jul 11, 2016, 11:00:10 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 297
	Revision: 932a3d4702641f66368884a7eb28359d60690081
	Revision: cf3d54ffbd9ea85007add14eb9bf2b91464ce7aa