Status

Changes

Console Output

View Build Information

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Started 8 yr 0 mo ago

Took 29 min on worker3

#29 (Apr 20, 2016, 12:21:47 PM)

Build Artifacts

	HOL-Datatype_Benchmark.gz	35.99 KiB	view
	HOL-Quickcheck_Benchmark.gz	33.64 KiB	view
	HOL-Record_Benchmark.gz	8.66 KiB	view
	HOL.gz	265.79 KiB	view
	Pure.gz	83.89 KiB	view

No changes.

Started by user Administrative User

Revision: 8de0ebee3f1c71aa246c0388b70aa28da3c633ad