github already checks this and prohibits a merge. but all the slow/expensive tests run nevertheless