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 9 min on workermta2

#317 (Jul 19, 2016, 5:10:21 PM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 317
	Revision: 54e932f0c30a298a1c2257cc37a1b24b430b65ad
	Revision: d1ed295000efa5644074e59ee49b5ebde157b98d