Fix code coverage with external tests#685

Merged

bnativi merged 4 commits intomainfrom fix_code_coverage_with_external_tests

Jul 29, 2024

+2-2

Commits on Jul 26, 2024

testing running external tests after regular integration tests for code coverage
b.nativi
committed

Commits on Jul 27, 2024

add -a for integration code coverage
b.nativi
committed

Commits on Jul 29, 2024

set github.ref to main for external tests
b.nativi
committed
Merge branch 'main' into fix_code_coverage_with_external_tests
b.nativi
committed