From d63271a98ad8243a45ef6d60a10b68ff9b8d3c1a Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Thu, 17 Jan 2019 17:04:48 +0100
Subject: [PATCH] [ci] Fix missing import

---
 bob/devtools/scripts/ci.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index c85a0baf..f1c08f31 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
-- 
GitLab