The --no-colors option doesn't always work #3382
Description
It doesn't work e.g. with juvix dev nockma run builtin-evaluator. We aren't always checking the global --no-colors option when printing.
{{ message }}
The