Avoid redundant coverage checks in CI #353
Merged
GitHub Actions / Test Results
succeeded
Jan 6, 2025 in 0s
All 1 060 tests pass, 6 skipped in 56m 53s
Loading