Luckily GitHub supports stacked PRs now! So they have to at least pass CI individually.