Skip to content
Jenkins
log in
Dashboard
isabelle-nightly-benchmark
#2070
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Started 5 mo 16 days ago
Took
2 hr 6 min
on
workermtahpc
Failed
#2070 (Dec 4, 2023, 12:50:08 AM)
Changes
compactified specification of type class parity (
detail
/
hgweb
)
generalized (
detail
/
hgweb
)
explicit annotation of lemma duplicates (
detail
/
hgweb
)
Started by an SCM change
This run spent:
7.5 sec waiting;
2 hr 6 min build duration;
2 hr 6 min total from scheduled to completion.
Revision
: 486a32079c60061d47be85d7892cd60ed68f0eb6