Skip to content
Jenkins
log in
Dashboard
testboard
#1010
Status
Changes
Console Output
View as plain text
View Build Information
Polling Log
Parameters
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Started 1 mo 0 days ago
Took
5 hr 5 min
on
workermta1
Success
#1010 (Mar 26, 2024, 2:37:33 PM)
Changes
renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal (
detail
/
hgweb
)
Started by an SCM change
This run spent:
5 hr 1 min waiting;
5 hr 5 min build duration;
10 hr total from scheduled to completion.
Revision
: 991557e0181447a6a0d31fe1b06805502cba10dd