From fcbdd2c86469b0be514b1c08075fec57e71e20a1 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 30 Jul 2019 17:04:57 +0200 Subject: [PATCH] move CI remark down to CI section --- README.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index e21ee987125e..91fc72cb427b 100644 --- a/README.md +++ b/README.md @@ -73,9 +73,7 @@ Now you can run your project in Miri: 3. If you have a binary project, you can run it through Miri using `cargo miri run`. The first time you run Miri, it will perform some extra setup and install some -dependencies. It will ask you for confirmation before installing anything. If -you run Miri on CI, run `cargo miri setup` to avoid getting interactive -questions. +dependencies. It will ask you for confirmation before installing anything. You can pass arguments to Miri after the first `--`, and pass arguments to the interpreted program or test suite after the second `--`. For example, `cargo @@ -115,6 +113,9 @@ cargo miri setup cargo miri test -- -- -Zunstable-options --exclude-should-panic ``` +We use `cargo miri setup` to avoid getting interactive questions about the extra +setup needed for Miri. + ### Common Problems When using the above instructions, you may encounter a number of confusing compiler