emrgnt-cmplxty/automata

Update Click to 8.1.6 upon release and remove ignore statements from CLI

Closed this issue · 0 comments

Currently, mypy will skip type checking for the cli commands. This is due to a bug from the click library that should be updated in Click 8.1.6. Once released, all instances of # type: ignore should be removed from the CLI code.