tools/ci.py      |  3 +-
 tools/test_ci.py | 73 ++++++++++++++++++++++++++++++++
 2 files changed, 75 insertions(+), 1 deletion(-)