If a PR is approved before PR CI is green, and later PR CI fails, we should unapprove the PR. Note that this wouldn't be needed if https://github.com/rust-lang/bors/issues/60 would become a hard requirement.