Fix code coverage comparisons in CI#11180

Merged

nbudin merged 3 commits intomainfrom

coverage-report-comparisons-fix

Jan 31, 2026

Commits on Jan 31, 2026

This is just to cause the PR to run actions to check whether code coverage comparison actually works
nbudin
committed
See if getting rid of the workflow names will make it use the correct one
nbudin
committed
It didn't, specify the workflow name manually
nbudin
committed