Skip to content

Second try of Code Checker

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

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 by Santiago Ospina De Los Ríos

Merge request reports