Failing test and typechecks in PR opening