Skip to content

perf(miri): reduce runtime analysis duration - #767

Merged
martin-kolinek merged 14 commits into
mainfrom
faster-runtime-analysis
Sep 24, 2026
Merged

perf(miri): reduce runtime analysis duration#767
martin-kolinek merged 14 commits into
mainfrom
faster-runtime-analysis

chore(miri): enforce safe excluded crates

80cf479
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar