search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.13k stars 318 forks source link

test #3697

Closed RalfJung closed 1 week ago

RalfJung commented 1 week ago

just checking whether CI starts faster without https://github.com/rust-lang/miri/pull/3696...