Skip to content

Fix four metering/tracing defects, and colour the CLI without changing piped output - #11

Merged
Shashankss1205 merged 8 commits into
mainfrom
fix/metering-tracing-and-cli-polish
Jul 30, 2026
Merged

Fix four metering/tracing defects, and colour the CLI without changing piped output#11
Shashankss1205 merged 8 commits into
mainfrom
fix/metering-tracing-and-cli-polish

Commits

Commits on Jul 29, 2026

Commits on Jul 30, 2026