Skip to content

Update the gitlab-ci configuration for develop

Simon Rose requested to merge master into develop

Due to renaming the repositories, we need to update the .gitlab-ci configuration.

Edited by Simon Rose

Merge request reports