Skip to content

Update master

Alexander Jaust requested to merge develop 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.

Replaced by !33 (merged)

Edited by Alexander Jaust

Merge request reports