Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
All
isabelle-nightly-benchmark
#2167
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Started 2 mo 29 days ago
Took
1 hr 9 min
on
workermtahpc
Aborted
#2167 (Mar 31, 2024, 12:50:06 AM)
Changes
moved over material from AFP; most importantly on algebraic numbers and algebraically closed fields (
detail
/
hgweb
)
update NEWS; (
detail
/
hgweb
)
moved web_app module from AFP (e.g., for building web services for the distributed build); (
detail
/
hgweb
)
Started by an SCM change
This run spent:
5.2 sec waiting;
1 hr 9 min build duration;
1 hr 9 min total from scheduled to completion.
Revision
: 4c1347e172b1c6f0d3c1d40adb4c2ec33f944f1b