Clean up CI config

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)

assigned to @rlangenb

added Improvement label

added 12 commits

• 923d4729...5a22dc33 - 9 commits from branch master
• 3150d5a2 - ci: move checks to build stage
• 6924841b - ci: clarify build names
• 06af5e5b - ci: use extends instead of yaml anchors

Compare with previous version

@rlangenb, @pagessin Could one of you have a look?

approved this merge request

merged

mentioned in commit 8242c0e0