Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 2 mo ago
Took 0 ms on Rechenknecht
Not built

#709 (Jul 9, 2020, 3:23:07 PM)

Changes
  1. rebrand to 'Nightly' and enable nightly update repos (details)

Identified problems

No identified problem

No problems were identified. If you know why this problem occurred, please add a suitable Cause for it.