Skip to content

Improvements to Gitlab-CI

Marco Clemencic requested to merge always-use-main-registry-for-ci into master
  • use the main gitlab docker registry also for CI jobs in forks
  • run format check at the same time as the build

Merge request reports