Skip to content
[Jenkins]Jenkins
log in
Success

#562 (Sep 26, 2019, 4:44:11 PM)

Started 5 yr 1 mo ago
Took 41 min on Rechenknecht
Changes
  1. Don’t use CTM if we don’t have one. (commit: d00b46f) (details)