.gitignore       |  2 ++
 tools/TESTING.md | 12 ++++++------
 tools/ci.py      | 14 +++++++++-----
 3 files changed, 17 insertions(+), 11 deletions(-)