Skip to content

Clean up CI config

Moritz Kiehnrequested to merge
ci_fixes into master

Following some confusion this morning I tried to clarify the CI config:

  • The build jobs are now named build-minimal and build-full.
  • The pre-build checks are now run during the build stage to be able to see build errors event if clang-format is not yet happy (as is done in the core)

Merge request reports