coverage: replace the Ferrocene symbol-report/blanket flow with the reusable LLVM coverage pipeline - #394

Merged

dcalavrezo-qorix merged 9 commits into

mainfrom

dcalavrezo_llvm_coverage

Aug 20, 2026

Commits on Aug 17, 2026

coverage: remove the Ferrocene symbol-report/blanket flow
dcalavrezo-qorix
committed
883c14c
coverage: import the LLVM coverage pipeline verbatim from score_communication
dcalavrezo-qorix
committed
f4db07a
coverage: apply repository formatting to the imported files
dcalavrezo-qorix
committed
68dd56f
coverage: adapt the imported pipeline for consumption from score_tooling
dcalavrezo-qorix
committed
d760f2d
coverage: add unit tests for merger and reporter
dcalavrezo-qorix
committed
fce885e
coverage: add a consumer-style integration workspace and CI job
dcalavrezo-qorix
committed
e4a8a4a
coverage: documentation
dcalavrezo-qorix
committed
b3add2f
MODULE: make aspect_rules_lint a regular dependency
dcalavrezo-qorix
committed
2336225

Commits on Aug 20, 2026

Merge branch 'main' into dcalavrezo_llvm_coverage
dcalavrezo-qorix
authored
21f57b5