Second try of Code Checker (!19) · Merge requests · Core Modules / CI Configuration · GitLab

Santiago Ospina De Los Ríos requested to merge feature/ci-code-checker-v2 into master Dec 07, 2023

Last MR !16 (merged) failed because it triggered duplicated pipelines and some syntax was wrong. I tested this again in directly dune-common https://gitlab.dune-project.org/core/dune-common/-/pipelines/66711 and now looks good:

No duplicated pipeline
Report is uploaded to the MR user interface
Code checker is only run if the file .codechecker/config.json is present
Code checker fails if the report is non-empty
Code checker is separated from other jobs

Edited Dec 07, 2023 by Santiago Ospina De Los Ríos