Skip to content

Update CI jobs

Emmanuele Bassi requested to merge ci-jobs into master

Various changes to the CI pipeline:

  • refactor the CI pipeline
  • add a buildtype=release job
  • add a coding style check phase
  • coalesce the static/shared build jobs into one

Merge request reports