Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Started 4 yr 5 mo ago

Took 5 hr 0 min on workermta1

#1105 (Jan 18, 2020, 12:50:09 AM)

Build Artifacts

	HOL-Analysis.db	68.00 KiB	view
	HOL-Analysis.gz	31.89 KiB	view
	HOL-Cardinals.db	20.00 KiB	view
	HOL-Cardinals.gz	646 B	view
	HOL-Complex_Analysis.db	20.00 KiB	view
	HOL.db	44.00 KiB	view
	HOL.gz	143.50 KiB	view
	Pure.db	48.00 KiB	view
	Pure.gz	86.80 KiB	view

Changes

Removed unnecessary and problematic trivial lemma from HOL-Algebra (detail / hgweb)

Started by an SCM change

This run spent:

8.5 sec waiting;
5 hr 0 min build duration;
5 hr 0 min total from scheduled to completion.

Revision: a3f7f00b4fd8c4b862f11f0b60a103b7579f04a5