Skip to content

Reduce number of miri tests executed on PR CI - #160502

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
Kobzol:miri-pr-ci
Aug 5, 2026
Merged

Reduce number of miri tests executed on PR CI#160502
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
Kobzol:miri-pr-ci

Reduce number of miri tests executed on PR CI

fec6eeb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Aug 4, 2026 in 37s