• Valentin Reis's avatar
    [feature] Adds a --filter option to `cmd` for pretty-printing. · e4ed3804
    Valentin Reis authored
    The option accepts a message type and prints the values in the csv
    format:
    msgtype, time, payload if the --filter option is recognized
    msgtype, time otherwise
    The print is force-flushed on stdout.
    This switches CI to the "refactored" CI identifier at argotests/tests
    e4ed3804
default.nix 214 Bytes