Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

Isabelle+AFP build profile

Changeset 9454:b1260a2048ed by lars hupel _lars.hupel@mytum.de_: Isabelle+AFP build profile
The file was added	`admin/jenkins/ci_build_all.scala`