Started 15 days ago
Took 15 sec

Success Build #31 (Jul 30, 2020 9:17:24 AM)

No changes.

Started by user cds@informatik.uni-kiel.de

Revision: 49ae04f7402933faee19464670a8b6826401b415
  • refs/remotes/origin/releases/0.6.0