Branch protection still waits on an old workflow name after the pipeline was renamed

Pull requests cannot merge even though the new workflow succeeds, because branch protection is still requiring a stale status check name.