Build Not Triggered for New Contributor PR

I work on a repository that gets frequent PRs from multiple users across multiple branches, and all of them have been triggering builds except for submissions from PeterCheaterPumpkinEater.

See the following PR as an example of a complete lack of little red x, green checks, or orange circles next to this contributor’s commits: pl_rego_helper_no_folder, closes #751 by PeterCheaterPumpkinEater · Pull Request #765 · regro/regolith · GitHub

I know there were restrictions put in place for new contributors because of mining abusers. Is this the case here, and if so, how do I lift the restriction on this contributor?

Turns out the contributor was incorrectly flagged as a potential threat.

This can be closed.

Imprint