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 8 yr 1 mo ago

Took 3 hr 43 min on worker1

#219 (Jun 2, 2016, 8:38:17 AM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 219
	Revision: a5697f7a33223c860c18538d9c01da45b349fe2f
	Revision: 0fe15ad322408ee3d002f8f838c6609ced93d3d4