diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index c85a0baf3baca6a3d61df154e5858db38f67e417..f1c08f31041550da6971592591c02afe5fdc8424 100644
--- a/bob/devtools/scripts/ci.py
+++ b/bob/devtools/scripts/ci.py
@@ -6,6 +6,7 @@ import glob
 import logging
 logger = logging.getLogger(__name__)
 
+import yaml
 import click
 import pkg_resources
 from click_plugins import with_plugins