Skip to content
[Jenkins]Jenkins
log in
Success

#598 (May 8, 2022, 5:36:41 PM)

Started 2 yr 7 mo ago
Took 34 min on Rechenknecht
Changes
  1. added logging (commit: 0147f46) (details)
  2. Fix: use repo specific rules (commit: 00d0915) (details)