-
Bug
-
Resolution: Not A Defect
-
Major
-
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.