From 270217d5e0e7de1d1cac5b634b1e9c54b197e0ce Mon Sep 17 00:00:00 2001 From: 魏曹先生 <1992414357@qq.com> Date: Tue, 23 Jun 2026 20:59:15 +0800 Subject: Switch markdown code block check from build to cargo check --- dev_tools/src/verify.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev_tools/src/verify.rs b/dev_tools/src/verify.rs index 9dc7833..319a38a 100644 --- a/dev_tools/src/verify.rs +++ b/dev_tools/src/verify.rs @@ -270,14 +270,14 @@ pub fn build_block( return (false, format!("write main.rs: {e}")); } - // Build with release — inherit stderr so cargo output is real-time and colored + // Check code — inherit stderr so cargo output is real-time and colored let shell = if cfg!(target_os = "windows") { "powershell" } else { "sh" }; let cmd = format!( - "cargo build --release --color=always --manifest-path {}", + "cargo check --color=always --manifest-path {}", manifest_path.to_string_lossy() ); -- cgit