chore: reorganize dev tools into dev/ directory and consolidate configsHEADmain

Move CI, dev tools, and configs from root-level scattered locations into
a
unified `dev/` directory structure. Update all references across build
scripts, documentation, and editor configurations.

Also consolidate editor config generation into build.rs for automated
synchronization of rust-analyzer settings across VS Code and Zed.

1 files changed, 0 insertions, 24 deletions

diff --git a/mingling_ci/src/progress.rs b/mingling_ci/src/progress.rs
deleted file mode 100644
index bd62ae1..0000000
--- a/mingling_ci/src/progress.rs
+++ /dev/null
@@ -1,24 +0,0 @@
-//! Shared task progress bar.
-
-use colored::Colorize;
-use indicatif::{ProgressBar, ProgressStyle};
-
-/// Creates a task progress bar with the CI's standard style.
-///
-/// `prefix` is the phase label shown before the bar, right-aligned to 12
-/// columns (e.g. `Building`, `Clippy`, `Testing`). The caller sets the
-/// initial message and drives the position.
-pub(crate) fn task_progress_bar(len: usize, prefix: &str) -> ProgressBar {
-    let padding = " ".repeat(12usize.saturating_sub(prefix.len()));
-    let styled_prefix = format!("{padding}{}", prefix.bold().bright_cyan());
-    let pb = ProgressBar::new(len as u64);
-    pb.set_style(
-        ProgressStyle::default_bar()
-            .template(&format!(
-                "{styled_prefix} [{{bar:28}}] {{pos}}/{{len}}: {{msg}}"
-            ))
-            .unwrap()
-            .progress_chars("=> "),
-    );
-    pb
-}