Skip to content

ci: CI reliability — Miri timeout headroom + Verus on ubuntu-latest (v0.17.0, #509)#520

Merged
avrabe merged 4 commits into
mainfrom
ci/miri-timeout-headroom
Jun 10, 2026
Merged

ci: CI reliability — Miri timeout headroom + Verus on ubuntu-latest (v0.17.0, #509)#520
avrabe merged 4 commits into
mainfrom
ci/miri-timeout-headroom

ci(verus): decouple from test job so it runs on the available hosted …

b8355f1
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jun 10, 2026 in 1s

Coverage not affected when comparing 23b2495...b8355f1

View this Pull Request on Codecov

Coverage not affected when comparing 23b2495...b8355f1

View more details on Codecov