Add a --quiet option

Comes in handy sometimes.
2 jobs for quiet-option in 1 minute and 32 seconds
latest
Status Job ID Name Coverage
  Check
passed #1157893
flake8

00:01:32

failed #1157894
allowed to fail
mypy

00:01:30

 
Name Stage Failure
failed
mypy Check
gidocgen/gir/parser.py:796: error: Argument "gtype" to "Boxed" has incompatible type "Optional[GType]"; expected "GType"
gidocgen/gir/parser.py:814: error: Argument "get_type" to "GType" has incompatible type "Optional[str]"; expected "str"
gidocgen/gir/parser.py:856: error: Argument "get_type" to "GType" has incompatible type "Optional[str]"; expected "str"
gidocgen/gir/parser.py:878: error: Argument "name" to "Union" has incompatible type "Optional[str]"; expected "str"
gidocgen/gir/parser.py:878: error: Argument "symbol_prefix" to "Union" has incompatible type "Optional[str]"; expected "str"
gidocgen/gir/parser.py:878: error: Argument "ctype" to "Union" has incompatible type "Optional[str]"; expected "str"
Found 106 errors in 3 files (checked 13 source files)
Cleaning up file based variables
ERROR: Job failed: exit code 1