Skip to content
Jenkins
log in
Dashboard
isabelle-repo
#1768
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
obsolete
Changeset
68495:71483c0e0023
by
lars hupel _lars.hupel@mytum.de_
:
obsolete
The file was removed
Admin/jenkins/build/ci_build_stats.scala
![[Jenkins]](/jenkins/static/77e8e0f1/images/svgs/logo.svg){kind=logo}
