-
Type:
Bug
-
Resolution: Not A Defect
-
Priority:
Major
-
Component/s: ghprb-plugin
-
Environment:jenkins server, monitors github PR for opensource projects.
The PR in question is https://github.com/open-mpi/ompi-release/pull/218
The jenkins server is publicly accessible (link to jenkins job is inside PR).
Other PRs from the same project working fine, only this one has this issue.