
        do not run pre-push tests if NO_PUSH_TESTS is set