ci: restore Codecov and phase expensive checks - #1714
Merged
DCO-2 / DCO
succeeded
Aug 18, 2026 in 0s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | 5f6ba52 | build(coverage): report coverage from test archive... | Valid sign-off found |
| 🟢 | ac84415 | build(ci): centralize runner entry points | Valid sign-off found |
| 🟢 | 8bbcfa3 | ci: restore coverage reporting | Valid sign-off found |
| 🟢 | d99fa89 | ci: phase expensive checks | Valid sign-off found |
| 🟢 | 41ac57c | ci: retain detailed coverage reports | Valid sign-off found |
| 🟢 | e43b468 | ci: test cross-built binaries before merge | Valid sign-off found |
| 🟢 | 5d811e8 | ci: make miri failures blocking on deep runs | Valid sign-off found |
Loading