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

#294 (Jul 11, 2016, 11:56:22 AM)

	Build Artifacts
	No changes.
	Started by upstream project isabelle-repo build number 294
	Revision: 9974230f95745fb02a1f14ec6dec80cb584998ad
	Revision: 3226ac6e1ca68dda2bb9676587c24d42f0e96805