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

Took 5 hr 0 min on workermta1

#1180 (Apr 27, 2020, 12:50:11 AM)

Build Artifacts

	HOL-Analysis.db	68.00 KiB	view
	HOL-Analysis.gz	29.69 KiB	view
	HOL-Cardinals.db	20.00 KiB	view
	HOL-Cardinals.gz	640 B	view
	HOL-Complex_Analysis.db	20.00 KiB	view
	HOL.db	44.00 KiB	view
	HOL.gz	143.49 KiB	view
	Pure.db	48.00 KiB	view
	Pure.gz	68.49 KiB	view

Changes

temporarily revert change which does not work as expected (detail / hgweb)
more rules (detail / hgweb)

Started by an SCM change

This run spent:

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

Revision: 14914ae80f705666f2a8b31411f17959bf109b54