По умолчанию основной журнал Jenkins содержит следующие отметки времени:
Sep 26, 2014 7:03:00 PM hudson.triggers.SCMTrigger$Runner run
INFO: SCM changes detected in main-web-flow. Triggering #613
Я бы предпочел, чтобы время было в 24-часовом формате, который более читабелен (тем более, что мой мастер Jenkins находится в другом часовом поясе, чем я). Как / где мне это изменить?
Вам нужно передать свойство java.util.logging.SimpleFormatter.format в jvm, на котором запущен jenkins, который использует java.util.loggin, например (для YYYY-mm-dd):
java -Djava.util.logging.SimpleFormatter.format="[%1$Tf] %4$s: %2$s - %5$s %6$s%n"
Вы можете найти документацию о том, как построить строку формата в javadocs; пока 1$, 2$, ... являются заполнителями для значений, переданных в регистратор.