move mir-opt miri tests to CI logic - #160422

move mir-opt miri tests to CI logic#160422

RalfJung wants to merge 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

RalfJung:miri-mir-opt-testsRalfJung/rust:miri-mir-opt-testsCopy head branch name to clipboard