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

Took 5 hr 0 min on workermta1

#1220 (Jun 25, 2020, 12:50:07 AM)

Build Artifacts

	HOL-Analysis.db	1.59 MiB	view
	HOL-Analysis.gz	15.81 KiB	view
	HOL-Auth.db	128.00 KiB	view
	HOL-Auth.gz	16.32 KiB	view
	HOL-Bali.db	192.00 KiB	view
	HOL-Bali.gz	14.25 KiB	view
	HOL-Cardinals.db	92.00 KiB	view
	HOL-Cardinals.gz	553 B	view
	HOL-Complex_Analysis.db	20.00 KiB	view
	HOL.db	832.00 KiB	view
	HOL.gz	123.37 KiB	view
	Pure.db	48.00 KiB	view
	Pure.gz	68.61 KiB	view

Changes

clarified use of memory: prefer share tree structures over fresh strings; (detail / hgweb)
more Java heap space (see 2d658beb815b); (detail / hgweb)

Started by an SCM change

This run spent:

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

Revision: 3e54088a7119a6f5859c4e2751ac257937a9532f