Build: #1025 was successful Scheduled with changes by Ulf Rueegg <uru@informatik.uni-kiel.de>

Stages & jobs

  1. Default Stage

  2. Deploy