Skip to content

Update master

Alexander Jaust requested to merge update-master into master

This MR updates the master to the current state of develop. The main goal is to fix issues in the CI that appeared after moving to the new VM. These issues are caused by changing the name of the use Docker images.

Merge request reports