diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-06-23 20:59:15 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-06-23 20:59:15 +0800 |
| commit | 270217d5e0e7de1d1cac5b634b1e9c54b197e0ce (patch) | |
| tree | 7d689708f211d135e9fa73efb4dd96a78779e115 /dev_tools/src/verify.rs | |
| parent | 521cf9012bc762d169ebce65c49d2b2e038efcd9 (diff) | |
Switch markdown code block check from build to cargo check
Diffstat (limited to 'dev_tools/src/verify.rs')
| -rw-r--r-- | dev_tools/src/verify.rs | 4 |
1 files 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() ); |
