From dc8e5844f32b36eadb5af0c61380eb2bf142cbc5 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Mon, 25 Feb 2019 08:42:42 +0100
Subject: [PATCH] [scripts][ci] Fix syntax
---
bob/devtools/scripts/ci.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index 6139da6a..b7ed3e72 100644
--- a/bob/devtools/scripts/ci.py
+++ b/bob/devtools/scripts/ci.py
@@ -545,7 +545,7 @@ def nightlies(ctx, order, dry_run):
echo_normal('\n' + (80*'='))
echo_normal('Testing/Re-building %s@%s (%d/%d)' % (package, branch, n+1,
- len(packages))
+ len(packages)))
echo_normal((80*'=') + '\n')
group, name = package.split('/', 1)
--
GitLab