Cut CI to ~half the job-minutes at equal coverage - #783
Open
wbarnha wants to merge 6 commits into
Open
Codecov / codecov/patch
succeeded
Aug 19, 2026 in 1s
Coverage not affected when comparing f355329...78b5fcd
View this Pull Request on Codecov
Coverage not affected when comparing f355329...78b5fcd
Loading