Repository navigation
CI: don't fail ci-success on runs triggered by closing a PR - #24
Merged
Merged
Codecov / codecov/patch
succeeded
Oct 29, 2026 in 1s
Coverage not affected when comparing 2c3a782...16a065b
View this Pull Request on Codecov
Coverage not affected when comparing 2c3a782...16a065b
Loading