check_jenkins_num_executors.py