feat: add Makefile to easy fix-lint and test in local

code/Makefile

@@ -0,0 +1,23 @@
+install:
+	npm i @informalsystems/quint -g
+	cargo install --locked cargo-nextest
+
+lint:
+	cargo fmt --all --check
+	cargo clippy --workspace --all-features --all-targets -- -D warnings
+
+lint-fix:
+	cargo fmt --all
+	cargo clippy --fix --allow-dirty --allow-staged --workspace --all-features --all-targets -- -D warnings
+
+unit-tests:
+	cargo nextest run \
+		--workspace \
+		--all-features \
+		--no-fail-fast \
+		--failure-output final \
+		--exclude informalsystems-malachitebft-starknet-test \
+		--exclude informalsystems-malachitebft-discovery-test
+
+
+test: unit-tests

code/crates/test/cli/src/logging.rs

@@ -43,10 +43,11 @@ pub fn init(log_level: LogLevel, log_format: LogFormat) -> WorkerGuard {
     guard
 }
 
-/// Check if both stdout and stderr are proper terminal (tty),
-/// so that we know whether or not to enable colored output,
-/// using ANSI escape codes. If either is not, eg. because
-/// stdout is redirected to a file, we don't enable colored output.
+/// Checks if output is going to a terminal.
+///
+/// Determines if both stdout and stderr are proper terminals (TTY).
+/// This helps decide whether to enable colored output with ANSI escape codes.
+/// Colors are disabled when output is redirected to a file.
 pub fn enable_ansi() -> bool {
     use std::io::IsTerminal;
     std::io::stdout().is_terminal() && std::io::stderr().is_terminal()