Auto merge of #3199 - Jefffrey:fix-doc-and-script, r=RalfJung

Browse source

Fix miri script target dir and update doc link

Fix ui_test doc link in `CONTRIBUTING.md`

Explicitly set `--target-dir` in `miri` script when building to expected location

- I have `build.target-dir` cargo config set to be some other location so miri script was erroring out since compiled binary was not in expected location

...

This commit is contained in:

bors 2023-12-10 17:23:55 +00:00

parent 518a9a4ed6 5ceecacc25

commit ceab25da58

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show stats Download patch file Download diff file Expand all files Collapse all files

Diff content is not available