Change in jenkins[master]: Make GitHub jobs deploy to 'tested'