From b44f7ea079270e675e487dd723201027ac37de55 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 16 Dec 2021 15:20:58 +0100 Subject: [PATCH] require xargo 0.3.23 --- cargo-miri/bin.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cargo-miri/bin.rs b/cargo-miri/bin.rs index 9ac1a7086b82..183ce25b3555 100644 --- a/cargo-miri/bin.rs +++ b/cargo-miri/bin.rs @@ -12,7 +12,7 @@ use serde::{Deserialize, Serialize}; use rustc_version::VersionMeta; -const XARGO_MIN_VERSION: (u32, u32, u32) = (0, 3, 22); +const XARGO_MIN_VERSION: (u32, u32, u32) = (0, 3, 23); const CARGO_MIRI_HELP: &str = r#"Runs binary crates and tests in Miri