Skip to content

fix types of cli arguments

Philipp Sommer requested to merge max-workers-cli into master

this MR changes the --max_workers cli parameter to --max-workers, and it adds some type information to the argument parser for certain messaging config parameters

Merge request reports