This needs to be a separate workflow so that it doesn't interfere with non-CI labeling of pull requests.