diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py index d42888058374b313cc00ac346cb6cd6c005005c7..0b4bbd3cb114878e52fb2b9019720b17b0f15d67 100644 --- a/bob/devtools/scripts/ci.py +++ b/bob/devtools/scripts/ci.py @@ -1037,6 +1037,7 @@ def check(): "run", "--all-files", "--show-diff-on-failure", + "--verbose", ], env=env, )