Skip to content
Jenkins
log in
Dashboard
Benedikt Seidl <benedikt.seidl@tum.de>
My Views
All
isabelle-repo
#474
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
sequential (jobs = 1) makeall profile
Changeset
63951:8739c1cd2851
by
lars hupel _lars.hupel@mytum.de_
:
sequential (jobs = 1) makeall profile
The file was added
Admin/jenkins/build/ci_build_makeall_seq.scala