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 11 mo ago

Took 1 hr 4 min on workermta2

#296 (Jul 11, 2016, 9:50:39 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 296
	Revision: 6b82bad2277f33011616ea0c40ae2fde20654dd2
	Revision: cf3d54ffbd9ea85007add14eb9bf2b91464ce7aa