ci: restore Codecov and phase expensive checks - #1714

Merged

daniel-noland merged 7 commits into

mainfrom

restore-codecov

Aug 19, 2026

Commits on Aug 18, 2026

build(coverage): report coverage from test archives

daniel-noland
and
codex
committed
5f6ba52
build(ci): centralize runner entry points

daniel-noland
and
codex
committed
ac84415
ci: restore coverage reporting

daniel-noland
and
codex
committed
8bbcfa3
ci: phase expensive checks

committed
d99fa89
ci: retain detailed coverage reports

committed
41ac57c
ci: test cross-built binaries before merge

committed
e43b468
ci: make miri failures blocking on deep runs

daniel-noland
and
codex
committed
5d811e8