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

Took 2 hr 49 min on worker2

#85 (Mar 13, 2016, 2:47:21 PM)

	No changes.
	Started by upstream project "isabelle-repo-checkin" build number 85
	Revision: b89d4b320464d665fe105b9fcc7b6f887c026ae1
	Revision: 8d7e3304ddfcec63edecce2df440bd447a78a3e9