Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. prefer Isabelle options for CI mail settings over ci.properties;
Changeset 78821:4c5aadf1cb48 by fabian huch _huch@in.tum.de_:
prefer Isabelle options for CI mail settings over ci.properties;
The file was modified etc/options (diff)
The file was modified src/Pure/Admin/ci_build.scala (diff)