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

Took 5 hr 0 min on workermta1

#1117 (Feb 9, 2020, 12:50:09 AM)

Build Artifacts

	HOL-Analysis.db	68.00 KiB	view
	HOL-Analysis.gz	31.90 KiB	view
	HOL-Cardinals.db	20.00 KiB	view
	HOL-Cardinals.gz	647 B	view
	HOL-Complex_Analysis.db	20.00 KiB	view
	HOL.db	44.00 KiB	view
	HOL.gz	143.34 KiB	view
	Pure.db	48.00 KiB	view
	Pure.gz	86.80 KiB	view

Changes

allow to override repository versions at runtime; (detail / hgweb)

Started by an SCM change

This run spent:

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

Revision: 5d5be87330b5cb8f61961ebddc739817d9f2dbe9