Skip to content

CI documentation: updates and how to reproduce

Robert Schmidt requested to merge doc-ci-repro into develop
  • Add some pipelines that were not referenced
  • Add label to know which pipeline is triggered when
  • Add section on how to reproduce CI

Direct link to file: doc/TESTBenches.md

Merge request reports