[rust_verify_test] feat: use a temp dir as target dir to isolate cargo test runs#2490

mkovaxx merged 1 commit into

mainverus-lang/verus:mainfrom

feat-verus-isolated-testsverus-lang/verus:feat-verus-isolated-testsCopy head branch name to clipboard