diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index 13234b8c8e9d5a395408bcede96c32db9d7decc5..4dc3e8bcbb7c4ef8bbc01140a05e85e3eec38942 100644
--- a/bob/devtools/scripts/ci.py
+++ b/bob/devtools/scripts/ci.py
@@ -104,6 +104,9 @@ def base_deploy(dry_run):
                 dry_run=dry_run,
             )
 
+            logger.info("Removing %s after successful deployment", k)
+            os.unlink(k)
+
 
 @ci.command(
     epilog="""