Share stats printing, improve `Soteria.Terminal`#209

Merged

N1ark merged 14 commits intomainfrom

Jan 11, 2026

Commits on Dec 21, 2025

Commits on Dec 22, 2025

Tests: always have `--hide-unstable --clean`
N1ark
committed

Commits on Dec 25, 2025

Merge branch 'main' into shared-flags
giltho
authored

Commits on Dec 29, 2025

Commits on Jan 6, 2026

Fix detection of dune test
N1ark
committed

Commits on Jan 7, 2026

Commits on Jan 11, 2026