Filter required-check derivation to PR-eligible workflows only - #82
Merged
Aerendir merged 3 commits intoJul 2, 2026
Merged
Codecov / codecov/patch
succeeded
Jul 2, 2026 in 1s
100.00% of diff hit (target 97.95%)
View this Pull Request on Codecov
100.00% of diff hit (target 97.95%)
Loading